coq / vscoq
Visual Studio Code extension for Coq
☆342Updated this week
Related projects ⓘ
Alternatives and complementary repositories for vscoq
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆499Updated 2 months ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆380Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆235Updated last month
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆217Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- Formal verification for OCaml☆255Updated 3 months ago
- The Ott tool for writing definitions of programming languages and calculi☆347Updated last month
- A Library for Representing Recursive and Impure Programs in Coq☆203Updated last month
- A function definition package for Coq☆223Updated 3 weeks ago
- The Vellvm (Verified LLVM) coq development.☆398Updated last week
- Mathematical Components compliant Analysis Library☆206Updated this week
- A work-in-progress language and compiler for verified low-level programming☆297Updated last month
- ☆221Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆110Updated 3 months ago
- Mathematical Components☆587Updated this week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆315Updated 3 months ago
- Verified Software Toolchain☆443Updated last week
- Communication between Coq and SAT/SMT solvers☆156Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆273Updated this week
- The agda-unimath library☆222Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆163Updated this week
- Multi platform setup for Coq, Coq libraries and tools☆188Updated 2 weeks ago
- HoTTEST Summer School materials☆288Updated last year
- ☆222Updated 3 months ago
- Randomized Property-Based Testing Plugin for Coq☆254Updated last week
- Formal Reasoning About Programs☆665Updated 5 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated last week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated 3 weeks ago
- A new Categories library for Agda☆368Updated this week