8000 GitHub - lunajustice/cairo: Cairo is the first Turing-complete language for creating provable programs for general computation.
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Cairo is the first Turing-complete language for creating provable programs for general computation.

License

Notifications You must be signed in to change notification settings

lunajustice/cairo

 
 

Repository files navigation