at.logic.gapt.proofs.ceres
This code is a leftover from schematic CERES and only works for specific schema proofs.
This code is a leftover from schematic CERES and only works for specific schema proofs. For first-order CERES, the CERES object does a grounding on its own.
This code is a leftover from schematic CERES and only works for specific schema proofs. For first-order CERES, the CERES object does a grounding on its own.