Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
example
arith
natural_hol.fcl
Find file
Blame
History
Permalink
[HOL instantiation] fix Zenon proofs
· fc8fdd7a
Raphael Cauderlier
authored
Apr 15, 2017
fc8fdd7a