Pinned Loading

1. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

2. cubical cubical Public

   Forked from agda/cubical

   An experimental library for Cubical Agda

   Agda

3. Category_Theory_Resources Category_Theory_Resources Public

   Forked from bgavran/Category_Theory_Resources

   List of resources for learning Category Theory

4. Compositional_Deep_Learning Compositional_Deep_Learning Public

   Forked from bgavran/Compositional_Deep_Learning

   Deep learning via category theory and functional programming

   Haskell

5. formal-learning-theory-kernel formal-learning-theory-kernel Public

   Forked from Zetetic-Dhruv/formal-learning-theory-kernel

   Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven pro…

   Lean

6. dynamis-papers dynamis-papers Public

   Forked from DynamisNetwork/dynamis-papers

   Foundational research papers in Category Theory, Topos Theory, and Topological Deep Learning