yforster / thesis-templateLinks
A LaTeX template for Bachelor or Master theses
☆12Updated 3 years ago
Alternatives and similar repositories for thesis-template
Users that are interested in thesis-template are comparing it to the libraries listed below
Sorting:
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆70Updated last year
- ☆38Updated 3 weeks ago
- ☆81Updated last week
- ☆33Updated 2 years ago
- Relation algebra library for Coq☆50Updated 2 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- Ltac2 tutorial☆46Updated 3 years ago
- ☆15Updated last year
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- ☆16Updated 5 years ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- A Rocq version of the miniF2F dataset☆22Updated 3 months ago
- A first-order concurrent automated theorem prover☆23Updated 5 months ago
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated 4 months ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 11 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 4 years ago
- ☆15Updated 6 months ago
- Python client for coq-lsp☆47Updated 2 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Updated 4 years ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆58Updated 7 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆82Updated last week
- Building A Correct-By-Construction Proof Checkers For Type Theories☆29Updated 3 weeks ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- Separation Logic Proofs in Lean☆47Updated 2 weeks ago