sk Skill · beita6969
lean4-prover
Lean 4 theorem prover for formal verification. Use when: formal theorem proving, mathematical verification, proof search, type theory exploration. NOT for: numerical computation (use scipy), symbolic math (use sympy), statistical analysis (use statsmodels).
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
leanbashTypeScript
- Host repository
- beita6969/ScienceClaw
- Host stars
- 904
- Host language
- TypeScript