💻 leo Latest Release

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Server / Container Project 4,811 stars
Docs Skills Release
No Standalone Desktop App (.exe / .dmg) Detected

ProvableHQ/leo is engineered as a server, cloud service, or developer package. It is primarily deployed via Docker containers or package managers rather than a single desktop executable.

Full Documentation
Explore setup instructions, configuration flags, and API specs.
Browse Desktop Apps
Discover verified standalone software and installable tools.
Quick Terminal & Package Manager Commands
brew install leo