coq-bonsai
by formal-land
🌳 Generate a fresh bonsai in your terminal
AI summary
Bonsai
Generates a random Coq program with a graphical tree-like structure
- stars
- 24
- forks
- 0
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Rose tree library
A Coq library formalizing rose trees for mathematical proof and theorem proving
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Coq verifier
Formal verification of Python code using Coq
Code transformer
Transforms OCaml code into formal, verifiable Coq code to prove complex properties
Coq IDE
A tool for interactive theorem proving and language support in Coq
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Proof assistant
Coq proof assistant book with exercises and examples
Tree calculus proofs
Proofs in Coq for a theoretical book on tree calculus programming language
Geometry library
A formalization of geometry using the Coq proof assistant.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
