Skip to main content

Browse the archive

Revision 39f508f38f8039b27091a1b9dbfdf4e3018da83c authored by Raphael Cauderlier on 27 February 2019, 09:28:53 UTC, committed by Raphael Cauderlier on 12 March 2019, 14:36:44 UTC 
Slides update
1 parent 727ea56
Raw File
README.md 
# Mi-Cho-Coq

A specification of Michelson in Coq to prove properties about smart contracts in Tezos.
back to top