vprover / vampireLinks
The Vampire Theorem Prover
☆339Updated this week
Alternatives and similar repositories for vampire
Users that are interested in vampire are comparing it to the libraries listed below
Sorting:
- ☆142Updated this week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆447Updated 2 weeks ago
- Metamath Zero specification language☆342Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last week
- The HOL Light theorem prover☆457Updated last week
- Mathematical Components☆627Updated last week
- Verified Software Toolchain☆463Updated this week
- The Yices SMT Solver☆408Updated last week
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆144Updated 7 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 3 months ago
- A work-in-progress language and compiler for verified low-level programming☆307Updated this week
- The Vellvm (Verified LLVM) coq development.☆430Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆373Updated 5 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆208Updated last month
- Embeddable Lambda Prolog Interpreter☆312Updated last week
- A Library for Representing Recursive and Impure Programs in Coq☆220Updated 3 months ago
- Formal Reasoning About Programs☆685Updated last year
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,130Updated this week
- Visual Studio Code extension for Coq☆388Updated this week
- SAT Solver SATCH☆120Updated 2 years ago
- CaDiCaL SAT Solver☆448Updated this week
- git mirror of the Munich isabelle hg repository☆125Updated last month
- Multi platform setup for Coq, Coq libraries and tools☆203Updated last week
- Mathematical Components compliant Analysis Library☆219Updated this week
- microsat☆136Updated 2 years ago
- A function definition package for Coq☆231Updated 3 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆353Updated 5 months ago
- ☆249Updated 3 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆334Updated this week