Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added a function that carries out all the reconstruction steps, for improved usability; | file | diff | annotate |
Wed, 19 Feb 2014 15:57:02 +0000 | sultana | reconstruction framework for LEO-II's TPTP proofs; | file | diff | annotate |