Login / Signup
Pablo Donato
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Supplier Selection
Theorem Prover
Mathematical Proofs
Top Venues
CoRR
CPP
</>
Publications
</>
Pablo Donato
,
Pierre-Yves Strub
,
Benjamin Werner
A drag-and-drop proof tactic.
CPP
(2022)
Pablo Donato
,
Pierre-Yves Strub
,
Benjamin Werner
A drag-and-drop proof tactic.
CoRR
(2022)