Skip to content
Permalink
Branch: master
Commits on Aug 13, 2019
  1. Verification for the kernel theory

    jessiezj-li committed Aug 13, 2019
    Verification for the kernel theory (prover9 proof)
Commits on Aug 29, 2018
  1. Correct typo in axiom in all related input files

    jessiezj-li committed Aug 29, 2018
    Correct axiom to all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
Commits on Aug 2, 2018
  1. fix typo

    jessiezj-li committed Aug 2, 2018
Commits on Jun 20, 2018
Commits on May 10, 2017
You can’t perform that action at this time.