#Lean4
Showing 10 of 10 repositories tagged #lean4, ranked by stars
LLMs as Copilots for Theorem Proving in Lean
Tool for data extraction and interacting with Lean programmatically.
Neovim support for the Lean theorem prover
Server to host Lean games
Helper toolkit for creating your own Lean 4 UserWidgets
LeanInteract: A Python Interface for Lean 4
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.