Foundations Group
Room HG02.540
jherold@cs.ru.nl


0x01 @ github
wires @ bitbucket
agda/coq blog