Aya ProverPublications
This is a list of publications about Aya by the Aya developers.
Papers
- A simpler encoding of indexed types, byTyDe 2021
Notes
- A tutorial on implementing De Morgan cubical type theory, by
- Elegant elaboration with function invocation, by