langston-barrett/reed-thesis
My undergradate thesis on coinductive types in univalent type theory
TeXMPL-2.0
Stargazers
- 0bserver07New York
- alex-ca1123
- annamiraotooleCambridge, MA / Berkeley, CA
- cdituriChicago
- flyfish101Shanghai, China
- hakandingenc
- merbst@DandelionLabs Foundation Internet Literacy Mentoring Inspiring Collaboration Across Oceans with Open Content
- mthomLethbridge, AB
- RyanJBuchananSpiralSource
- ryblaCS PhD student at UMD
- safiamcAustin, TX
- sage-michaels
- themattchan@awakesecurity
- timjb@TNG Technology Consulting GmbH
- yenwelEvergem
- yurrriq@sportradar