The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Utilities
Edited
Importers
Utilities
General Utilities
Tag Utilities
More from Observable creators