Zeta611 / simplebnf
⌥ Simple Backus–Naur form (BNF) LaTeX package
☆36Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for simplebnf
- A Coq library for parametric coinduction☆43Updated last month
- PL conference deadline countdowns☆52Updated 2 weeks ago
- Ltac2 tutorial☆42Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- ☆35Updated 3 weeks ago
- Relation algebra library for Coq☆48Updated last week
- A monadic library for symbolic evaluation☆55Updated last week
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆32Updated 2 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- ☆11Updated last month
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆18Updated last month
- Partial Commutative Monoids☆26Updated 3 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- EGraphs in OCaml☆60Updated 10 months ago
- A proof of Abel-Ruffini theorem.☆28Updated last week
- A bottom-up approach to a verified implementation of MLTT☆15Updated this week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- Hahn: A Coq library☆30Updated 4 months ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆18Updated 2 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- ☆15Updated 5 months ago
- Tactics for discharging Lean goals into SMT solvers.☆106Updated this week
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆21Updated last week
- ☆12Updated 2 weeks ago