Rob23oba/lean4-no-axioms
Lean 4 without any axioms
Repositories
Rob23oba/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Rob23oba/lean-floats
Verification of IEEE-754 floating point in Lean
Rob23oba/doc-gen4
Document Generator for Lean 4
Rob23oba/lean4
Lean 4 programming language and theorem prover
Rob23oba/dependent-computability
Automatically proving computability for Lean functions
Rob23oba/quote4
Intuitive, type-safe expression quotations for Lean 4.
Rob23oba/aesop
White-box automation for Lean 4
Rob23oba/mathlib4
The math library of Lean 4
Rob23oba/i-wanna-lockpick-tas
Rob23oba/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Rob23oba/lean4-batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Rob23oba/porffor
A from-scratch experimental AOT JS engine, written in JS
Rob23oba/i-wanna-lockpick-editor
A level editor to make and play I Wanna Lockpick levels.