ToposInstitute / CatColabLinks
A collaborative environment for formal, interoperable, conceptual modeling
☆135Updated last week
Alternatives and similar repositories for CatColab
Users that are interested in CatColab are comparing it to the libraries listed below
Sorting:
- Logic and Mechanized Reasoning☆114Updated 2 months ago
- Haskell implementation of open games☆183Updated 10 months ago
- An interactive theorem prover for string diagrams☆124Updated last year
- ☆125Updated last year
- tool for turning Lean proofs into Blender animations☆79Updated 3 weeks ago
- Lean documentation authoring tool☆242Updated last week
- A Rust/WASM implementation of homotopy.io☆108Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆171Updated last week
- A template for blueprint-driven formalization projects in Lean.☆83Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆65Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Updated 4 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆82Updated 2 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆83Updated 3 weeks ago
- A Testing Framework for Lean☆66Updated last week
- Document Generator for Lean 4☆115Updated last week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆93Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆76Updated 6 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆113Updated 2 years ago
- Code samples for Lean 4☆77Updated 2 years ago
- ☆51Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆42Updated 3 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 3 weeks ago
- Functional Programming in Lean☆128Updated last week
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆38Updated 4 months ago
- The Lean reference manual☆90Updated this week
- ☆119Updated last year