c-ding-math / functor-networkLinks
a blog platform for mathematicians
☆16Updated last month
Alternatives and similar repositories for functor-network
Users that are interested in functor-network are comparing it to the libraries listed below
Sorting:
- Source code for the nLab☆175Updated 2 months ago
- The Lean 4 web editor☆91Updated last month
- A Lean file formatter☆67Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last week
- The standard template to create a lean game☆24Updated 2 months ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- ☆15Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- A project to digitalise results from physics into Lean.☆252Updated this week
- All the math/tex files for the Automorphic Project☆18Updated last year
- Markdown file of the list and explanations of all mathlib4 tactics☆42Updated last year
- Document Generator for Lean 4☆95Updated this week
- Natural Number Game☆167Updated 2 months ago
- Server to host lean games.☆269Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆64Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆141Updated this week
- Formalization of the existence of sphere eversions☆42Updated this week
- The Lean reference manual☆65Updated this week
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Natural language tactics to teach mathematics using Lean 4☆78Updated 3 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 4 months ago
- Theorem Proving in Lean 4☆181Updated 7 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆304Updated this week
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- Tag-based webview of LaTeX documents☆29Updated last year
- ☆79Updated 2 weeks ago
- Mirror of ocaml-forester☆45Updated 11 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆58Updated last month