Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
_CoqProject
Find file
Blame
History
Permalink
Add a _CoqProject file (fix issue
#2
).
· ad949e81
Guillaume Melquiond
authored
Jul 13, 2018
ad949e81