Gadjib / ocamlhomeworks
Repository for homeworks.
☆10Updated 3 years ago
Alternatives and similar repositories for ocamlhomeworks:
Users that are interested in ocamlhomeworks are comparing it to the libraries listed below
- Course materials for Chalmers TPIL25 class☆12Updated last month
- Intuitive, type-safe expression quotations for Lean 4.☆83Updated this week
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆58Updated this week
- Topos theory in lean☆59Updated 4 years ago
- A WIP definitional (co)datatype package for Lean4☆35Updated 3 months ago
- ☆66Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆57Updated this week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆218Updated 3 weeks ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 2 years ago
- Categorical Logic Notes☆77Updated 3 years 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 🇩🇪☆19Updated last week
- A Lean file formatter☆67Updated 2 years ago
- Natural language tactics to teach mathematics using Lean 4☆66Updated this week
- Lean 4 kernel / 'external checker' written in Lean 4☆97Updated last month
- ☆13Updated 3 years ago
- Mathport is a tool for porting Lean3 projects to Lean4☆43Updated 4 months ago
- Experiments in automation for Lean☆101Updated last week
- ☆24Updated 9 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆61Updated 5 months ago
- Mathematical Components compliant Analysis Library☆214Updated this week
- LaTeX code for a paper on lean's type theory☆132Updated 2 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆25Updated 9 months ago
- ☆240Updated last month
- The agda-unimath library☆247Updated this week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated this week
- Lecture notes on realizability☆73Updated last month
- Helper toolkit for creating your own Lean 4 UserWidgets☆129Updated this week
- computable implementation of real numbers in Lean4☆33Updated last week
- ☆11Updated 3 years ago
- Document Generator for Lean 4☆86Updated this week