Login / Signup
Mario Frank
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 3
Top Topics
First Order Logic
Proof Search
Theorem Prover
Predicate Calculus
Top Venues
CoRR
ThEdu@CADE
AReCCa@TABLEAUX
</>
Publications
</>
Leo Repp
,
Mario Frank
nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic.
AReCCa@TABLEAUX
(2023)
Mario Frank
The Coq Proof Script Visualiser (coq-psv).
CoRR
(2021)
Mario Frank
,
Christoph Kreitz
A Theorem Prover for Scientific and Educational Purposes.
ThEdu@CADE
(2017)