Pages

▼
Showing posts with label AI on Lean [a Proof Assistant] - an Asemics in Reverse - AI / EZE. Show all posts
Showing posts with label AI on Lean [a Proof Assistant] - an Asemics in Reverse - AI / EZE. Show all posts
Sunday, July 19, 2026

AI on Lean [a Proof Assistant] - an Asemics in Reverse - AI / EZE, 2026

›
 AI Lean is an open-source, functional programming language and interactive proof assistant developed by Leonardo de Moura . Its core pur...