research
∙
07/06/2021
Alethe: Towards a Generic SMT Proof Format (extended abstract)
The first iteration of the proof format used by the SMT solver veriT was...
research
∙
08/26/2019