About Me
Projects
Blog Posts
CV
Eric Bond
Ph.D. Student @ University of Michigan
Follow
Ann Arbor, MI
Email
Twitter
LinkedIn
Github
ORCID
Blog posts
2022
Deriving Function Extensionality in Cubical Agda
Published:
November 27, 2022