nameiwillforget / hegel-in-mathematicsLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆13Updated 2 years ago
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 formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- A graphical editor for graph-like structures☆100Updated last year
- Build Petri net models compositionally☆88Updated last week
- Relational Algebra, now with more algebra!☆54Updated this week
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated last week
- Building dynamical systems compositionally☆72Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last month
- Haskell implementation of open games☆173Updated 7 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last month
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- ☆118Updated last year
- A system for computational category theory and applications☆39Updated 9 years ago
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- ☆50Updated last year
- A template for blueprint-driven formalization projects in Lean.☆70Updated 2 weeks ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- ☆38Updated 10 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Real number computation software☆126Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆108Updated this week
- A DSL for the internal language of a topos☆66Updated last month
- Lean-independent implementation of the MM-Lean link☆32Updated 2 years ago
- Theorem proving in Lean☆49Updated 10 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago