Showing 2 of 2 repositories tagged #leo, ranked by stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
📄 Documentation for Leo 🦁
