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
Platforms
- Visual Studio Code
United States
Best alternatives are 
Rocq Proverand
3 alternativesRocq Proverand