ToposInstitute / CatColabLinks
A collaborative environment for formal, interoperable, conceptual modeling
☆116Updated this 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☆105Updated 2 months ago
- An interactive theorem prover for string diagrams☆121Updated 11 months ago
- ☆118Updated last year
- Lean documentation authoring tool☆222Updated this week
- Haskell implementation of open games☆175Updated 8 months ago
- A Rust/WASM implementation of homotopy.io☆106Updated last week
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆37Updated last month
- tool for turning Lean proofs into Blender animations☆75Updated last month
- 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)☆111Updated last year
- ☆119Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated 2 months ago
- A template for blueprint-driven formalization projects in Lean.☆74Updated last week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 4 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- Document Generator for Lean 4☆106Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆75Updated 2 weeks ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- A Testing Framework for Lean☆59Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- A minimal proof checker.☆76Updated last year
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 11 months ago
- Functional Programming in Lean☆111Updated 3 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- Jupyter notebook for the Lean4 programming language☆25Updated 3 years ago
- A simple raytracer written in Lean 4☆140Updated last year
- Source code for the Mathematics in Lean tutorial.☆171Updated last month
- How to read Lean☆19Updated 8 months ago