Misplaced Pages

The following pages link to Thorsten Altenkirch

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 16 items.

• Dependent type (links | edit)
• Mansfield District Council elections (links | edit)
• Rod Burstall (links | edit)
• Thierry Coquand (links | edit)
• ALF (proof assistant) (links | edit)
• Conor McBride (links | edit)
• Homotopy type theory (links | edit)
• Univalent foundations (links | edit)
• 2021 Nottinghamshire County Council election (links | edit)
• Talk:Thorsten Altenkirch (transclusion) (links | edit)
• User:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations (links | edit)
• User:Stinglehammer/FemaleScientists (links | edit)
• User:Stinglehammer/University of Edinburgh Alumni (links | edit)
• User talk:Boreas93 (links | edit)
• Misplaced Pages:Articles for deletion/Andrej Bauer (2nd nomination) (links | edit)
• Misplaced Pages:Articles for deletion/Log/2016 September 9 (links | edit)