ToposInstitute / CatColabLinks
A collaborative environment for formal, interoperable, conceptual modeling
☆104Updated this week
Alternatives and similar repositories for CatColab
Users that are interested in CatColab are comparing it to the libraries listed below
Sorting:
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- Logic and Mechanized Reasoning☆105Updated last month
- ☆118Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- tool for turning Lean proofs into Blender animations☆74Updated last month
- (early experiments toward) a version-control system for structured data☆18Updated 2 years ago
- A Testing Framework for Lean☆58Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Haskell implementation of open games☆173Updated 6 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated 3 weeks ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- Lean4 port of Arduino balance car controller☆45Updated 4 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆70Updated 2 months ago
- ☆49Updated last year
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆37Updated 2 weeks ago
- Lean documentation authoring tool☆209Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A simple raytracer written in Lean 4☆139Updated last year
- A template for blueprint-driven formalization projects in Lean.☆69Updated last week
- Functional Programming in Lean☆102Updated 2 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- Code samples for Lean 4☆76Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated 2 months ago