| Fri, 19 Jan 2024 13:56:26 +0100 | Mathias Fleury | fix reconstruction of Alethe's and_pos rule | file | diff | annotate |
| Mon, 19 Jun 2023 22:28:09 +0200 | Mathias Fleury | early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals; | file | diff | annotate |
| Sat, 17 Sep 2022 16:50:39 +0200 | wenzelm | proper file headers; | file | diff | annotate |
| Mon, 22 Aug 2022 06:27:28 +0200 | Mathias Fleury | remove duplicate parsing for alethe; fix skolemization; | file | diff | annotate |
| Mon, 14 Mar 2022 07:12:48 +0100 | Mathias Fleury | split veriT reconstruction into Lethe and veriTÂ part | file | diff | annotate |