Login / Signup
Felix Jahn
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Von Neumann
Information Systems
Interactive Theorem Proving
Proof Theory
Top Venues
CPP
CSL
</>
Publications
</>