Home | Legals | Sitemap | interACT
JakobvonRaumer

Jakob von Raumer

KIT
Exchange at: CMU
Advisor: @KIT: Prof. Snelting @CMU: Prof. Avigad/Prof. Awodey
Type of work: Master Thesis
Topic of work: Homotope Type Theory and Formalization of Mathematics
Exchange from to: WS 2014/15