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.☆284Updated 4 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆127Updated 3 weeks ago
- Modeling and Proving in Computational Type Theory☆120Updated 5 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆97Updated 2 weeks ago
- Logic and Mechanized Reasoning☆113Updated 2 weeks ago
- A formal proof of the independence of the continuum hypothesis☆141Updated last year
- A program for making zooming slides in figma.☆41Updated 6 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated 3 months ago
- A best-first-search theorem prover implemented in Isabelle☆36Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ☆165Updated 6 years ago
- A Lean file formatter☆71Updated 2 years ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- A function definition package for Coq☆236Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 11 months ago
- Communication between Coq and SAT/SMT solvers☆162Updated last week
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 5 months ago
- SampCert : Verified Differential Privacy☆86Updated 8 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆81Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆42Updated 5 years ago
- The Git repository for the mCRL2 toolset.☆103Updated last week
- Categorical Logic Notes☆81Updated 3 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated 6 months ago
- Coq plugin embedding elpi☆180Updated last week
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆137Updated 2 months ago
- PL conference deadline countdowns☆63Updated last month