Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Automated theorem proving / Mathematics / Proof theory / Logic in computer science / Formal methods / Automated reasoning / Proof assistant / Proof complexity / Reasoning system / Isabelle


System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology
Add to Reading List

Document Date: 2018-07-19 05:32:19


Open Document

File Size: 255,34 KB

Share Result on Facebook