relda88 / leo-12 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from touchasky/leo-12
๐ฆ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Home Page: https://leo-lang.org/
License: GNU General Public License v3.0