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.