| Tue, 14 Jun 2022 16:14:28 +0200 | Mathias Fleury | fix veriT reconstruction for and_pos and lambda-lifting | file | diff | annotate |
| 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 |