Login / Signup
Philipp Stassen
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Multi Modal
Social Networks
Proof Theory
Information Retrieval
Top Venues
TYPES
</>
Publications
</>
Philipp Stassen
,
Daniel Gratzer
,
Lars Birkedal
{mitten}: A Flexible Multimodal Proof Assistant.
TYPES
(2022)