Skip to content
GitLab
Explore
Sign in
pub
Farith
Repository
farith
extract.v
Find file
Blame
History
Permalink
Fix extraction configuration bug
· 1943455e
François Bobot
authored
May 17, 2017
update to Coq 8.6 and flocq v4161c990053985f6819e
1943455e