Skip to content
Aya Prover
Main Navigation
Guide
Publications
Blog
GitHub
Appearance
GitHub
Menu
Return to top
On this page
Table of Contents for current page
Publications
#
This is a list of publications about Aya by the Aya developers.
Papers
A simpler encoding of indexed types
, by
Tesla Zhang
TyDe 2021
arXiv preprint
doi
conference version
online
Notes
A tutorial on implementing De Morgan cubical type theory
, by
Tesla Zhang
arXiv preprint
Elegant elaboration with function invocation
, by
Tesla Zhang
arXiv preprint
online