DanGrayson / KtheoryLinks
formalization of theorems of higher algebraic K-theory
☆8Updated 11 years ago
Alternatives and similar repositories for Ktheory
Users that are interested in Ktheory are comparing it to the libraries listed below
Sorting:
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- lean-related presentations☆16Updated last year
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 6 months ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Archived materials related to Homotopy Type Theory.☆11Updated 13 years ago
- Various Futhark benchmark programs☆42Updated last month
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An encyclopedia of proofs☆60Updated 8 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- ☆14Updated 2 months ago
- The Aldor Programming Language☆34Updated 4 months ago
- collaboration on work in progress☆15Updated 14 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 6 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- SML The Living Language☆11Updated 11 years ago