GleasSpty / MATH-110-----Linear-Algebra
☆15Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for MATH-110-----Linear-Algebra
- ☆23Updated 7 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 4 months ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- ☆159Updated 5 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆205Updated this week
- Homotopy theory in Coq.☆90Updated 13 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆154Updated 5 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- Play/learn/work with me☆95Updated 3 months ago
- Effective Algebraic Topology in Haskell☆85Updated 2 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆349Updated this week
- Selected Papers of Dana S. Scott☆155Updated 4 months ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Lecture notes on realizability☆65Updated last month
- ☆51Updated 3 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆111Updated last month
- A compiler for functional programs on serialized data☆157Updated this week
- Agda lecture notes for the Functional Programming course at TU Delft☆117Updated 7 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated last month
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Library of the ##dependent distributed research support group☆110Updated 4 months ago
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- Real number computation software☆121Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago