Auguste Poiroux issues

Repositories
Issues
Comments

Results 1 issues of


                                            Auguste Poiroux

Running solvers on TPTP + converting kernel proofs to Lisa code

This pull request adds the following files: - `lisa-utils`: - `ProofsConverter.scala`: methods to transform kernel proofs to Lisa code proofs - `RunSolver.scala`: a class to run a solver for a...