1. 29 Jun, 2017 3 commits
  2. 15 Apr, 2017 5 commits
  3. 11 Apr, 2017 3 commits
  4. 10 Apr, 2017 1 commit
  5. 09 Apr, 2017 5 commits
  6. 02 Apr, 2017 1 commit
  7. 30 Mar, 2017 1 commit
  8. 26 Mar, 2017 5 commits
  9. 25 Mar, 2017 6 commits
  10. 24 Mar, 2017 2 commits
    • Raphael Cauderlier's avatar
      Remove dependency on dktactics/fol · 2bbd2908
      Raphael Cauderlier authored
      Depending on dktactics makes writing the interoperability layer hard
      because most types in dktactics are not definable.
      
      Moreover, this removes dependency on Dedukti v2.6 (featuring injective
      symbols). When the transfer tactic will be called, it will not know
      about the rule [a,b] term (arr a b) --> term a -> term b.
      2bbd2908
    • Raphael Cauderlier's avatar
      Factorize Makefiles · 76f22897
      Raphael Cauderlier authored
      76f22897
  11. 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