Repositories
Vtec234/lean-vir
Lean 4 IR to wasm32-wasi proof of concept
Vtec234/reference-manual
The Lean reference manual
Vtec234/subverso
Vtec234/lean4monaco
Browser support for Lean using a monaco editor.
Vtec234/lean4web
Lean web editor
Vtec234/verso
Lean documentation authoring tool
Vtec234/Poly
A Lean4 Formalization of Polynomial Functors
Vtec234/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Vtec234/downstream-reports
Reporting workflows and dashboards using the hopscotch tool
Vtec234/lean4
Lean4 work in progress repo
Vtec234/DevWidgets
Miscellaneous Developer Widgets for Lean
Vtec234/npm-widget
Vtec234/nixpkgs
Nix Packages collection & NixOS
Vtec234/lean4-seq
Equality types for type families
Vtec234/MutualInduction
An experimental mutual induction tactic for Lean 4.
Vtec234/xnfsat
Vtec234/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Vtec234/lean-sesh
Session types in Lean
Vtec234/groupoid_model_in_lean4
Vtec234/tpil-solutions
My solutions to exercises in "Theorem Proving in Lean"
Vtec234/std4
Standard Library for Lean 4
Vtec234/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Vtec234/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Vtec234/quote4
Intuitive, type-safe expression quotations for Lean 4.
Vtec234/lean4-infoview
Vtec234/lean-sat
Vtec234/napkin
An Infinitely Large Napkin
Vtec234/vscode-lean
An extension for VS Code which provides support for the Lean language.
Vtec234/LeanColls
WIP collections library for Lean 4