jonsterling / ocaml-foresterLinks
Mirror of ocaml-forester
☆45Updated last year
Alternatives and similar repositories for ocaml-forester
Users that are interested in ocaml-forester are comparing it to the libraries listed below
Sorting:
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 4 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆65Updated last year
- ☆32Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆39Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆25Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Topos theory in lean☆64Updated 4 years ago
- ☆16Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆70Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated last month
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆28Updated 3 years ago
- A modern string diagram editor for the web.☆25Updated 6 months ago
- Organize mathematical thoughts☆20Updated 2 years ago
- A cost-aware logical framework, embedded in Agda.☆67Updated 2 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆78Updated last week
- VSCode support for Forester☆21Updated 5 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆67Updated last week
- LaTeX code for a paper on lean's type theory☆149Updated 3 years ago
- ☆19Updated 3 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- ☆14Updated last month
- High level commands to declare a hierarchy based on packed classes☆102Updated last week
- Categorical Logic Notes☆80Updated 3 years ago
- Ground Zero: Lean 4 HoTT Library☆71Updated last week
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Updated 3 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year