PeaCoq
by Ptival
PeaCoq is a pretty Coq, isn't it?
AI summary
IDE
A Coq-based IDE with OCaml plugin and TypeScript support
- stars
- 106
- forks
- 10
- watching
- 8
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Compiler
Translates Coq terms into Cedille terms for a specific domain-specific language
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Term manipulator
Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
IO library
Provides tools to implement IO programs directly in Coq
Compiler toolkit
A toolkit for compiling functional programs into imperative code for performance-critical applications
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Unifier
A plugin for Coq that improves its unification algorithm
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions PeaCoq.
