ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β˜†4,778Updated this week

Related projects β“˜

Alternatives and complementary repositories for leo