Lean 4 research environment for formal proofs and verified algorithms — 58 Lean files covering prime number theory, set theory, sorting and GCD correctness, and Lyapunov stability for dynamical systems, plus Python (uv) visualization utilities and 8 GitHub Actions workflows for continuous verificati
Python Updated 3 days ago 1 commits 1 stars
pulse-dev|Mirror: docxology/lean_niche (⭐1)
3 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Lean 4 research environment for formal proofs and verified algorithms — 58 Lean files covering prime number theory, set theory, sorting and GCD correctness, and Lyapunov stability for dynamical systems, plus Python (uv) visualization utilities and 8 GitHub Actions workflows for continuous verificati
Readme
1 stars