https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: e538b10ceb6388f838bdd120fb7b47ca32292246 authored by Guillaume Claret on 20 September 2019, 09:06:06 UTC
Use the stable version of coq-ott
Tip revision: e538b10
_CoqProject
src
back to top