Michael Shulman -

Registered user since Fri 18 Nov 2016

Name:Michael Shulman

Contributions

FSCD 2017	Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track
CPP 2017	Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track