ToposInstitute / CatColabLinks
A collaborative environment for formal, interoperable, conceptual modeling
☆100Updated this week
Alternatives and similar repositories for CatColab
Users that are interested in CatColab are comparing it to the libraries listed below
Sorting:
- ☆117Updated last year
- An interactive theorem prover for string diagrams☆119Updated 9 months ago
- Haskell implementation of open games☆172Updated 6 months ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆74Updated last month
- (early experiments toward) a version-control system for structured data☆17Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated this week
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- A Testing Framework for Lean☆57Updated 3 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆49Updated last year
- Library implementing type inference/checking functionality based on the Lean theorem prover☆68Updated 2 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 11 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆35Updated this week
- ☆16Updated last year
- CAP project -- Categories, Algorithms, and Programming☆31Updated this week
- Code samples for Lean 4☆76Updated last year
- A minimal proof checker.☆75Updated 10 months ago
- A simple raytracer written in Lean 4☆140Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆151Updated 2 weeks ago
- Functional Programming in Lean☆101Updated this week
- Lean documentation authoring tool☆201Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- ☆119Updated last year
- Mirror of ocaml-forester☆45Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago