1. 15 Apr, 2017 2 commits
  2. 09 Apr, 2017 1 commit
  3. 02 Apr, 2017 1 commit
  4. 26 Mar, 2017 2 commits
  5. 21 Mar, 2017 1 commit
    • 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