1. 11
    The Hardest Problem in Type Theory [Uniqueness of Identity Proofs] video math plt youtube.com
    river avatar via river 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments