search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 8 forks source link

Collect information about what/how we've proven things (draft report with links to various proofs) #274

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

https://docs.google.com/document/d/1-aJQlZAzgU6K9pKyU879aOwGxkl8pPT2_Vw4wUM6Nag/edit#