processing...
home
authors
Chris Kapulkin
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Chris Kapulkin
Publications
Cubical Models of (∞, 1)-Categories. Brandon Doherty, Chris Kapulkin, Zachery Lindsey, Christian Sattler. 2022.
The Simplicial Model of Univalent Foundations (After Voevodsky). Chris Kapulkin, Peter LeFanu Lumsdaine. 2018.