Mike Shulman

Identifiers

No identifiers captured yet.

Papers (1)

1. The HoTT Library: A formalization of homotopy type theory in Coq cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrej Bauer 1 shared papers
• Bas Spitters 1 shared papers
• Jason Gross 1 shared papers
• Matthieu Sozeau 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers