kyagrd's repositories

  • logic-TPTP — Import, export etc. for TPTP, a syntax for first-order logic
  • Ordinals — Ordinals up to epsilon_0
  • yices — inter process communication interface to Yices SMT solver via unix pipe