JonathanGorard / CategoricaLinks
Categorica: a pure and applied category theory framework for the Wolfram Language
☆34Updated last year
Alternatives and similar repositories for Categorica
Users that are interested in Categorica are comparing it to the libraries listed below
Sorting:
- An interactive theorem prover for string diagrams☆124Updated last year
- Haskell implementation of open games☆183Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated last week
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- ☆94Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆143Updated this week
- ☆35Updated last month
- CAP project -- Categories, Algorithms, and Programming☆39Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆80Updated last month
- Formalizing results about the Mandelbrot set in Lean☆27Updated last month
- ☆126Updated last year
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- A template for blueprint-driven formalization projects in Lean.☆93Updated this week
- Code samples for Lean 4☆76Updated 2 years ago
- A graphical editor for graph-like structures☆103Updated 2 years ago
- The matrix cookbook, proved in the Lean theorem prover☆125Updated 4 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 11 months ago
- How to read Lean☆22Updated last year
- A minimal proof checker.☆78Updated last year
- Bonn Lean course for winter 24/25☆40Updated 3 weeks ago
- ☆37Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 7 years ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Links to recourses for the Lean Theorem Prover☆11Updated 6 years ago
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- ☆51Updated 3 years ago
- Lean documentation authoring tool☆251Updated this week
- ☆44Updated 9 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Updated this week