Lean

software for interactive and automated theorem proving

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

श्रेणियाँ:

open-source softwareproof assistantprogramming language