processing...
home
authors
Paige Randall North
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Paige Randall North
Publications
Univalent Foundations and the Equivalence Principle. Benedikt Ahrens, Paige Randall North. 2022.