Ulamai
Visit WebsiteGitHub RepoaiPre-seed
Description
UlamAI is an open-source Lean theorem prover and formalizer.
Founders
ulamai
Discovered
February 13, 2026
Added to Database
March 18, 2026
Notes
GitHub: 50 stars, Organization account, Language: Python