-
Raphael Cauderlier authored
The FoCaLiZe development is taken from the work on interoperability between Coq and HOL used to prove the sieve of Eratosthenes.
f8d4419a
The FoCaLiZe development is taken from the work on interoperability between Coq and HOL used to prove the sieve of Eratosthenes.