New
v3.3.1
Patch
- Fixes error in common subexpression elimination.
Unclaimed project
Are you a maintainer of leo? Claim this project to take control of your public changelog and roadmap.
Changelog
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications