nameiwillforget / hegel-in-mathematicsLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆14Updated last year
Alternatives and similar repositories for hegel-in-mathematics
Users that are interested in hegel-in-mathematics are comparing it to the libraries listed below
Sorting:
- A graphical editor for graph-like structures☆97Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Relational Algebra, now with more algebra!☆54Updated this week
- ACT community resources☆21Updated 5 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- ☆47Updated last year
- Simplicial sets and other combinatorial models of geometric spaces☆38Updated this week
- Build Petri net models compositionally☆83Updated 7 months ago
- Building dynamical systems compositionally☆70Updated 7 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Metamath verifier in Python☆39Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- Mirror of ocaml-forester☆45Updated 11 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Agda category theory library for denotational design☆51Updated last year
- ☆23Updated 3 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- ACSets: Algebraic databases as in-memory data structures☆24Updated last month
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Deposited packages of the homalg project☆15Updated last month
- cadCAD implementation in Julia☆16Updated 5 months ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆120Updated 3 weeks ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago