Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
interop
arith
natural_coq.fcl
Find file
Blame
History
Permalink
Rename coq_naturals into CoqNaturals so that the file generated by
· e6432f53
Raphael Cauderlier
authored
Mar 25, 2017
coqine has the same basename
e6432f53