ToposInstitute / CatColabLinks
A collaborative environment for formal, interoperable, conceptual modeling
☆78Updated this week
Alternatives and similar repositories for CatColab
Users that are interested in CatColab are comparing it to the libraries listed below
Sorting:
- ☆114Updated 10 months ago
- ☆47Updated last year
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- A graphical editor for graph-like structures☆97Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 9 months ago
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week
- A Testing Framework for Lean☆53Updated last month
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆64Updated this week
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆127Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆57Updated 11 months ago
- Document Generator for Lean 4☆95Updated this week
- Write C shims from within Lean code.☆56Updated 2 weeks ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆141Updated this week
- Mathlib search tool☆88Updated 3 weeks ago
- ☆46Updated last week
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆81Updated 8 months ago
- Code samples for Lean 4☆75Updated last year
- tool for turning Lean proofs into Blender animations☆68Updated last month
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆13Updated 6 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- Accelerated machine learning with dependent types☆95Updated last week
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Relational Algebra, now with more algebra!☆54Updated this week