1 search result for "tag:"logpath:Michocoq""

Showing 1 - 1

coq-mi-cho-coq

No documentation

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

category:Computer Science/Programming Languages/Formal Definitions and Theory date:2021-06-15 keyword:cryptocurrency keyword:michelson keyword:semantics keyword:smart-contract keyword:tezos logpath:Michocoq logpath:Michocott

Raphaël Cauderlier Bruno Bernardo Julien Tesson Arvid Jakobsson

1.0.0

MIT

Used by 0 other packages

21 Jun 2021