dagstuhl-publishing / stylesLinks
LaTeX Styles provided by Dagstuhl Publishing
☆40Updated last year
Alternatives and similar repositories for styles
Users that are interested in styles are comparing it to the libraries listed below
Sorting:
- A collection of tools for writing technical documents that mix Coq code and prose.☆278Updated 2 months ago
- Modeling and Proving in Computational Type Theory☆118Updated 3 months ago
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Logic and Mechanized Reasoning☆109Updated 3 weeks ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆125Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆95Updated last week
- Communication between Coq and SAT/SMT solvers☆160Updated last month
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆134Updated 2 months ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 years ago
- A program for making zooming slides in figma.☆41Updated 4 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- A function definition package for Coq☆234Updated last week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 7 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated this week
- LaTeX code for a paper on lean's type theory☆151Updated 3 years ago
- A Lean file formatter☆69Updated 2 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated last month
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Convert Haskell source code to Coq source code.☆92Updated 4 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last month
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Updated last month
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- A digital archive of category theory papers.☆32Updated last month
- ☆165Updated 6 years ago