Skip to content
  • Raphael Cauderlier's avatar
    Initial commit. · f8d4419a
    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