ToposInstitute / poly
☆109Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for poly
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Categorical logic from a categorical point of view☆76Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- An experimental category theory library for Lean☆47Updated last year
- A DSL for the internal language of a topos☆61Updated 7 months ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆147Updated this week
- The agda-unimath library☆222Updated this week
- Categorical Logic Notes☆74Updated 2 years ago
- ☆42Updated 6 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- Play/learn/work with me☆95Updated 3 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆219Updated 7 months ago
- formally verified category theory library☆257Updated 4 years ago
- Effective Algebraic Topology in Haskell☆85Updated 2 months ago
- Topos theory in lean☆56Updated 3 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆38Updated 2 years ago
- Accelerated machine learning with dependent types☆79Updated this week
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- Logic and Mechanized Reasoning☆85Updated 4 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆206Updated 2 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- A new Categories library for Agda☆369Updated last week
- Lecture notes on realizability☆65Updated last month
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated last month