Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Armaël Guéneau
tlc
Tags
coq-8.4
coq-8.4
POTTIER Francois
@fpottier
331f45e1
·
[filter_No_duplicates]
·
Feb 05, 2016
A version that supposedly works with Coq 8.4.