Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- looks nice...time to turn it into a pi extensionby c0rruptbytes
- Maybe consider an integration with theoremdb.org?by philipfweiss
- sounds like an awesome project.
wish these project always start with an example. i dont care about quickstart or featurelist if i dont know what this is.
by dominotw - Interesting, but I don't see any licensing terms, which means I can't touch it in a commercial setting.by owlbite
- the tricky bit is ensuring your inaccurate plain english statement is captured and formalized correctly as lean.by eisbaw
- A terminal AI coding assistant with a built-in math formalization engine — describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.by homarp
- Interesting work. Is this a wrapper around the AUTOLEAN project (https://github.com/T3S1AMAX/autolean)?by muds