https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 9fa0d6f5ee4444b7890b9b71545d194f9f73bbe1 authored by Julien Tesson on 14 March 2019, 16:03:27 UTC
OTT now compiles
Tip revision: 9fa0d6f
_CoqProject
-R michocoq/ Michocoq
-R michocott/ Michocott
michocoq
extraction
contracts_coq
michocott
back to top