UF IAS 2012 Archive Some relevant links

• Vladimir Voevodsky’s pages on Univalent Foundations
• HoTT in nLab
• HoTT webpage
• Patched Coq (8.3pl2) compiled for OS X
• Patched Coq (8.3pl2) compiled for PUIAS Linux (should work on Institute machines)
• Coq patches (for compiling it yourself)
• Instructions for compiling a patched Coq (a little old, mentions only two patches)
• IAS Univalent Foundations Google Group