Gadjib / ocamlhomeworks
Repository for homeworks.
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ocamlhomeworks
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆52Updated this week
- ☆39Updated 9 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆19Updated this week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- Categorical logic from a categorical point of view☆75Updated last year
- antifunext☆28Updated 4 months ago
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 3 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆52Updated 2 years ago
- Categorical Logic Notes☆74Updated 2 years ago
- Ltac2 tutorial☆42Updated last year
- A digital archive of category theory papers.☆20Updated 8 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆95Updated last month
- Library to create Coq record update functions☆42Updated 2 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆23Updated 4 months ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Updated 6 years ago
- Lecture notes on realizability☆65Updated last month
- Topos theory in lean☆56Updated 3 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- ☆12Updated 5 months ago
- A WIP definitional (co)datatype package for Lean4☆27Updated last week
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- H.O.T.T. using rewriting in Agda☆39Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆146Updated this week
- formalization of an equivariant cartesian cubical set model of type theory☆19Updated 3 months ago
- Mechanizations of Type Theories☆27Updated this week
- ☆21Updated 2 months ago
- Formal Topology in Univalent Foundations (WIP).☆35Updated 2 years ago
- An approach to higher algebra in type theory☆23Updated 4 years ago