<- Back
Comments (28)
- mudsInteresting work. Is this a wrapper around the AUTOLEAN project (https://github.com/T3S1AMAX/autolean)?
- eisbawthe tricky bit is ensuring your inaccurate plain english statement is captured and formalized correctly as lean.
- homarpA 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.
- owlbiteInteresting, but I don't see any licensing terms, which means I can't touch it in a commercial setting.
- c0rruptbyteslooks nice...time to turn it into a pi extension
- pullshark91My, what a creative name
- philipfweissMaybe consider an integration with theoremdb.org?
- dominotwsounds 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.
- shidesheng[flagged]
- agentwyz[dead]
- CodeWithLeo[dead]
- tizerluo[flagged]
- 129387[dead]