Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Calc
Div.v
Find file
Blame
History
Permalink
Made proofs about Fdiv_core a bit more reusable.
· a35bdb83
Guillaume Melquiond
authored
Feb 26, 2018
a35bdb83