yforster / thesis-template
A LaTeX template for Bachelor or Master theses
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for thesis-template
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- ☆35Updated last month
- ☆33Updated this week
- Ltac2 tutorial☆42Updated 2 years ago
- Relation algebra library for Coq☆48Updated last week
- ☆15Updated 5 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆39Updated last month
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- Linter component for Isabelle.☆17Updated 4 months ago
- coinduction library for Coq☆15Updated 2 months ago
- We aim to provide a composed build of all active Coq developments in existence☆12Updated 11 months ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆18Updated last month
- Experiments in automation for Lean☆73Updated this week
- ☆26Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 3 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆69Updated 3 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆15Updated 4 months ago
- ☆22Updated last week
- SampCert : Verified Differential Privacy☆65Updated 3 months ago
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆51Updated 4 months ago
- Official repository of the Autosubst 2 project.☆17Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Topos theory in lean☆56Updated 3 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆69Updated 9 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆74Updated 3 weeks ago