Skip to content
Snippets Groups Projects
Commit 7d45ca93 authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Update extended abstract

parent d22450c7
No related branches found
No related tags found
1 merge request!1PxTP Extended Abstract
Pipeline #3887 passed
...@@ -38,7 +38,7 @@ Pascal Fontaine ...@@ -38,7 +38,7 @@ Pascal Fontaine
} }
\def\titlerunning{Towards a Generic SMT Proof Format} \def\titlerunning{Towards a Generic SMT Proof Format}
\def\authorrunning{Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, and Pascal Fontaine} \def\authorrunning{Schurr, Fleury, Barbosa, and Fontaine}
\begin{document} \begin{document}
\maketitle \maketitle
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment