https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 4f48fcc23bcae74ce5899621f11bcd5cb84184c5 authored by Arvid Jakobsson on 26 August 2019, 08:38:06 UTC
semantics equivalence for fragment assuming injectivity of untyper
Tip revision: 4f48fcc
_CoqProject
-R michocoq/ Michocoq
-R michocott/ Michocott
fragmentott
fragment
michocoq
contracts_coq
michocott
back to top