Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Repository
mi-cho-coq
.gitignore
Find file
Blame
History
Permalink
add _opam to .gitignore, add lemmas and utils for vesting_tez.v
· 1fe28a2f
Michael J. Klein
authored
Jan 10, 2021
and
Raphaël Cauderlier
committed
Jun 15, 2021
1fe28a2f