Skip to main content

Browse the archive

Revision da384ba11d1bff1408690139069c0dde902ebf9c authored by Raphael Cauderlier on 08 March 2019, 14:54:59 UTC, committed by Raphael Cauderlier on 12 March 2019, 14:36:45 UTC 
The self function from the environment cannot fail
1 parent 3570b0d
Raw File
README.md 
# Mi-Cho-Coq

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