T-Brick / lean-wasm
Formalising the WASM spec in Lean
☆11Updated 2 months ago
Related projects: ⓘ
- A Testing Framework for Lean☆41Updated last month
- A date and time library for Lean 4☆11Updated 5 months ago
- sockets for Lean 4☆16Updated 2 months ago
- A Lean 4 library for iterators.☆11Updated 9 months ago
- ☆11Updated 2 years ago
- Parser Combinator Library for Lean 4☆33Updated 2 weeks ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆17Updated 2 weeks ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆30Updated 11 months ago
- Toy implementation of Martin-Löf Type Theory☆27Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- A type theory with native support for Polynomial Functors.☆37Updated 11 months ago
- A WebAssembly implementation in Lean4☆32Updated 9 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- Ground Zero: Lean 4 HoTT Library☆41Updated last month
- Tool for compiling Lean to WASM☆12Updated 6 months ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 5 months ago
- Lean 4 port of Megaparsec☆22Updated 8 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 weeks ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 2 months ago
- Coq Enhancement Proposals☆43Updated last week
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Fωμ type checker and compiler☆51Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 2 weeks ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆43Updated 3 weeks ago
- A parser for ANSI C, in Lean4.☆19Updated 10 months ago
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆31Updated last week
- Organize mathematical thoughts☆19Updated 11 months ago
- ☆17Updated 7 months ago