Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
hu zhenlei
Mi-Cho-Coq
Repository
mi-cho-coq
src
_CoqProject
Find file
Blame
History
Permalink
[Doc][Coq][Contracts][Build]Refactoring - add _CoqProject + integration of michocott
· 515a6a23
Julien Tesson
authored
Mar 12, 2019
515a6a23