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
Jakob von RaumerJakobvon RaumerKITHomotope Type Theory and Formalization of MathematicsWS 2014/15/91_371.php
