Wed, 28 Oct 2020 08:41:07 +0100 | Mathias Fleury | better handling of skolemization for Isar reconstruction in Sledgehammer for veriT | file | diff | annotate |
Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |