Matthieu Sozeau

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrej Bauer 1 shared papers
• Bas Spitters 1 shared papers
• Jason Gross 1 shared papers
• Mike Shulman 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers