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
Hol naturals instantiation but holide files still missing
· fedcd127
Raphael Cauderlier
authored
Mar 25, 2017
fedcd127