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
1 parent 727ea56
README.md
# Mi-Cho-Coq
A specification of Michelson in Coq to prove properties about smart contracts in Tezos.
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...