Skip to main content

Browse the archive

Revision 6b5db67094525889ba54195cf3e35dd4aee777de authored by Raphael Cauderlier on 08 March 2019, 13:24:48 UTC, committed by Raphael Cauderlier on 12 March 2019, 14:36:45 UTC 
Small simplification of the multisig specification
1 parent adf4cf5
Raw File
README.md 
# Mi-Cho-Coq

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