coq-bonsai
Bonsai
Generates a random Coq program with a graphical tree-like structure
🌳 Generate a fresh bonsai in your terminal
24 stars
3 watching
0 forks
Language: Coq
last commit: about 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 dmxlarchey/kruskal-trees | A Coq library formalizing rose trees for mathematical proof and theorem proving | 1 |
| formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 437 |
| formal-land/coq-of-python | Formal verification of Python code using Coq | 30 |
| formal-land/coq-of-ocaml | Transforms OCaml code into formal, verifiable Coq code to prove complex properties | 255 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 153 |
 coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 114 |
 barry-jay-personal/tree-calculus | Proofs in Coq for a theoretical book on tree calculus programming language | 143 |
 geocoq/geocoq | A formalization of geometry using the Coq proof assistant. | 186 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 46 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 30 |