gitmyhub

leo

Rust β˜… 4.8k updated 33m ago

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

No plain-English explanation yet β€” one is being written right now. Check back in a minute.