ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Issues
- 0
[Feature] Specify Leo version in Manifest.
#28465 opened - 0
[Bug] TYC Bug for unknown functions.
#28445 opened - 0
[Redesign] Update mechanism
#28444 opened - 0
[Redesign] Dissambler, retriever, and stub system
#28442 opened