ToposInstitute / RelationalThinking-Book
☆10Updated 5 months ago
Alternatives and similar repositories for RelationalThinking-Book:
Users that are interested in RelationalThinking-Book are comparing it to the libraries listed below
- A collaborative environment for formal, interoperable, conceptual modeling☆68Updated this week
- Building dynamical systems compositionally☆69Updated 5 months ago
- Template for blueprint-driven formalization projects in Lean.☆45Updated last week
- Mirror of ocaml-forester☆43Updated 9 months ago
- Relational Algebra, now with more algebra!☆52Updated 3 weeks ago
- Logic and Mechanized Reasoning☆101Updated last month
- ☆46Updated 10 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Build Petri net models compositionally☆82Updated 5 months ago
- A graphical editor for graph-like structures☆98Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated 7 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 3 weeks ago
- Lean documentation authoring tool☆150Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆35Updated 4 months ago
- maze game encoded in Lean 4 syntax☆53Updated 4 months ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated last month
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- Categorical Logic Notes☆77Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆22Updated 4 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆55Updated 9 months ago
- ☆69Updated 2 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 6 months ago
- A framework for composing and simulating multiphysics systems☆61Updated 2 weeks ago
- Structured decompositions!☆12Updated last week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month