Login / Signup
Adrian Marti
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Theorem Prover
Proof Search
Natural Deduction
Semantic Representation
Top Venues
CICM
CADE
</>
Publications
</>
Adrian De Lon
,
Peter Koepke
,
Anton Lorenzen
,
Adrian Marti
,
Marcel Schütz
,
Makarius Wenzel
The Isabelle/Naproche Natural Language Proof Assistant.
CADE
(2021)
Adrian De Lon
,
Peter Koepke
,
Anton Lorenzen
,
Adrian Marti
,
Marcel Schütz
,
Erik Sturzenhecker
Beautiful Formalizations in Isabelle/Naproche.
CICM
(2021)