Garrett Mills
Blog
Home
Main Site
Archive
Tags
Feeds
#languages
2023-03-20
Adventures in AI-assisted proof generation
2022-12-09
Generalized Commutative Data-Types