Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
interop
arith
natural_hol.fcl
Find file
Blame
History
Permalink
Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:cauderlier/math_transfer
· 63857b89
Raphael Cauderlier
authored
Mar 25, 2017
Conflicts: interop/arith/Makefile interop/arith/natural_coq.fcl interop/arith/natural_hol.fcl
63857b89