Lean

software for interactive and automated theorem proving

en-US/ˈlin/
en-GB/ˈliːn/

Categorias:

open-source softwareproof assistantprogramming language