Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
example
arith
sieve.v
Find file
Blame
History
Permalink
Use Coq stdlib definitions and lemmas; breaks Coqine
· 87dd6771
Raphael Cauderlier
authored
Jun 29, 2017
87dd6771