Johannes
Hostert
Toggle navigation
about
blog
publications
projects
(current)
cv
projects
my projects, past and current
First-Order Logic in Coq
Contributing to the Coq Library for First-Order Logic
