Login / Signup
Andreas Schropp
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Descending Order
Visual Effects
Sequent Calculus
Top Venues
CPP
</>
Publications
</>
Andreas Schropp
,
Andrei Popescu
Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory.
CPP
(2013)
Alexander Krauss
,
Andreas Schropp
A Mechanized Translation from Higher-Order Logic to Set Theory.
ITP
(2010)