The-Clowder-Project / the-clowder-project
This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
☆24Updated 3 months ago
Alternatives and similar repositories for the-clowder-project:
Users that are interested in the-clowder-project are comparing it to the libraries listed below
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 6 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆58Updated last week
- Effective Algebraic Topology in Haskell☆90Updated 7 months ago
- Mirror of ocaml-forester☆44Updated 10 months ago
- A work-in-progress core language for Agda, in Agda☆51Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Mathlib search tool☆85Updated last week
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- Ground Zero: Lean 4 HoTT Library☆57Updated 2 weeks ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆62Updated 6 months ago
- Agda as a collaborative multiplayer game☆35Updated 6 months ago
- A digital archive of category theory papers.☆30Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated this week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 6 months ago
- ☆47Updated 11 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆12Updated 7 months ago
- An interactive theorem prover for string diagrams☆112Updated 6 months ago
- ☆16Updated 10 months ago
- ☆34Updated 5 months ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆69Updated 2 weeks ago
- Topos theory in lean☆59Updated 4 years ago
- ☆83Updated this week
- ☆113Updated 9 months ago
- Topos theory in Lean 4☆12Updated 2 months ago
- Lean documentation authoring tool☆152Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆59Updated 3 weeks ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated 6 months ago