First Page | Document Content | |
---|---|---|
Date: 2016-07-28 09:19:23Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system | The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent FoundationsAdd to Reading ListSource URL: math.andrej.comDownload Document from Source WebsiteFile Size: 1,37 MBShare Document on Facebook |