Andreas Schropp

Personal information


Germany

male

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

History


18 years 18 weeks