Hans-Jörg Schurr | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Pascal Fontaine
7 publications
Haniel Barbosa
6 publications
Mathias Fleury
4 publications

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...

0 Hans-Jörg Schurr, et al. ∙

research

∙ 08/26/2019

Reconstructing veriT Proofs in Isabelle/HOL

Automated theorem provers are now commonly used within interactive theor...

0 Mathias Fleury, et al. ∙