Basil Rohner

formal verification · type theory · proof engineering

github / email / orcid

Blog

← back

Curriculum Vitae