Apps tagged with 'theorem-proving'

All apps in Apps tagged with 'theorem-proving'category. Use the filters below to narrow down your search.

Lean Programming Language
1 like
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Cost / License
Free
Open Source (Apache-2.0)
Application type
Programming Language
Origin
United States
Platforms
Visual Studio Code
Best alternatives are Rocq ProverandIsabelle
3 alternatives