samth / waterfall
git clone https://github.com/samth/waterfall.git
Small, configurable proof search for inductive Lean goals
+0
stars, 24h · #27,864
+~0
stars, 7 days · #28,339
+~0
stars, 30 days · #34,692
25
★ total
2
forks · 1 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-11 (1mo ago)
Last push22d ago
OwnerUser
Links
- GitHub: github.com/samth/waterfall
- Homepage: https://samth.github.io/waterfall/
- Releases · Issues · Hacker News mentions