dagstuhl-publishing / stylesLinks
LaTeX Styles provided by Dagstuhl Publishing
☆37Updated 7 months ago
Alternatives and similar repositories for styles
Users that are interested in styles are comparing it to the libraries listed below
Sorting:
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆38Updated 10 months ago
- A digital archive of category theory papers.☆30Updated last year
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- Relation algebra library for Coq☆48Updated 3 months ago
- Mirror of ocaml-forester☆45Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 months ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆90Updated 3 weeks ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆51Updated 3 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- Lecture notes on realizability☆72Updated 4 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- ☆86Updated 2 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆31Updated 10 months ago
- ☆56Updated 2 months ago
- ☆31Updated last year
- A Coq library for parametric coinduction☆49Updated 4 months ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆68Updated 2 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- A formalisation of the Calculus of Constructions☆70Updated 11 months ago
- ☆14Updated 4 years ago