Home » user account

Andreas Schropp

Personal information


Germany

male

Functional Programming, Formal Semantics, Category Theory,
Interactive Theorem Proving, Type Theory, Set Theory

History


12 years 11 weeks