ToposInstitute / CatColab
A collaborative environment for formal, interoperable, conceptual modeling
☆70Updated this week
Alternatives and similar repositories for CatColab:
Users that are interested in CatColab are comparing it to the libraries listed below
- A graphical editor for graph-like structures☆98Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- ☆47Updated 10 months ago
- Template for blueprint-driven formalization projects in Lean.☆47Updated 2 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- Build Petri net models compositionally☆82Updated 5 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆55Updated 9 months ago
- ☆113Updated 9 months ago
- Logic and Mechanized Reasoning☆101Updated 2 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Jupyter notebook for the Lean4 programming language☆24Updated 2 years ago
- Relational Algebra, now with more algebra!☆52Updated last month
- An interactive theorem prover for string diagrams☆112Updated 5 months ago
- A Testing Framework for Lean☆52Updated last week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆58Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆40Updated last week
- Building dynamical systems compositionally☆69Updated 5 months ago
- Mirror of ocaml-forester☆44Updated 9 months ago
- Haskell implementation of open games☆162Updated 2 months ago
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- ☆69Updated this week
- tool for turning Lean proofs into Blender animations☆64Updated 2 weeks ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 8 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆129Updated last week
- ☆30Updated 6 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 6 months ago
- plasTeX plugin to build formalization blueprints.☆199Updated this week
- Mathlib search tool☆85Updated this week