processing...
home
authors
Thorsten Altenkirch
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Thorsten Altenkirch
Publications
Should Type Theory Replace Set Theory as the Foundation of Mathematics. Thorsten Altenkirch. 2022.
The Integers as a Higher Inductive Type. Thorsten Altenkirch, Luis Scoccola. 2020.