Technologies
Lean
A programming language built for writing machine-checkable mathematical proofs.
0 noticias.
Every story about Lean (0)
No story is about Lean yet: the ones below only mention it.
También mencionado en (1)
Stories about something else that name Lean in passing, with the sentence that does.
- OpenAI publica 372 demostraciones matemáticas generadas por IA en GitHub“Many of the proofs come with formalizations in Lean, a programming language built for machine-checkable mathematical proofs.”