Zeta611 / simplebnf
⌥ Simple Backus–Naur form (BNF) LaTeX package
☆39Updated last year
Alternatives and similar repositories for simplebnf:
Users that are interested in simplebnf are comparing it to the libraries listed below
- PL conference deadline countdowns☆53Updated 2 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A monadic library for symbolic evaluation☆58Updated this week
- Relation algebra library for Coq☆48Updated 2 months ago
- EGraphs in OCaml☆61Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 9 months ago
- A Coq library for parametric coinduction☆44Updated 2 weeks ago
- A Probability Theory Library for the Coq Theorem Prover☆51Updated last year
- ☆13Updated 5 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆33Updated this week
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆19Updated 2 weeks ago
- Ltac2 tutorial☆43Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated last month
- ☆11Updated last month
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆12Updated 7 months ago
- ☆13Updated 3 weeks ago
- Hahn: A Coq library☆30Updated 6 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated last week
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆40Updated 2 weeks ago
- Solver for Constrained Horn Clauses☆35Updated this week
- ☆51Updated last month
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆13Updated last month
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆41Updated last month
- ☆35Updated 2 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated last month
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 2 months ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Updated 3 weeks ago