Gadjib / ocamlhomeworksLinks
Repository for homeworks.
☆10Updated 4 years ago
Alternatives and similar repositories for ocamlhomeworks
Users that are interested in ocamlhomeworks are comparing it to the libraries listed below
Sorting:
- Course materials for Chalmers TPIL25 class☆14Updated 6 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated this week
- The agda-unimath library☆261Updated this week
- Construction of a Brownian Motion in Lean☆18Updated last week
- Intuitive, type-safe expression quotations for Lean 4.☆90Updated 2 weeks ago
- A proof assistant for higher-dimensional type theory☆208Updated this week
- Markdown file of the list and explanations of all mathlib4 tactics☆46Updated last year
- HoTTEST Summer School materials☆309Updated 2 months ago
- A WIP definitional (co)datatype package for Lean4☆41Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆151Updated 2 weeks ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated 2 weeks ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆103Updated 3 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆62Updated this week
- ☆258Updated 5 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- Topos theory in lean☆63Updated 4 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆72Updated last week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆244Updated 4 months ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆24Updated 3 weeks ago
- Lean 4 kernel / 'external checker' written in Lean 4☆110Updated last month
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆81Updated this week
- The Lean reference manual☆75Updated last week
- ☆87Updated 2 months ago
- A digital archive of category theory papers.☆31Updated 3 weeks ago
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆17Updated 5 months ago
- Categorical Logic Notes☆79Updated 3 years ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆322Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆265Updated this week
- ☆15Updated last year