Reed Mullanix
Type Theory/Category Theory
I like proof assistants and make them too!
I like proof assistants and make them too!
Public Key
npub1ku7w36cvpnnh7vrjk50hwxfhedfeqszs5r0d8gckrdphwvfqjzrssd3a6cNIP-05 Address
totbwf@types-pl.mostr.pubProfile Code
nprofile1qqstw08gavxqeemlxpet28mhrymuk5usgpg2phkn5vtpksmhxysfppcpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz9thwden5te0wfjkccte9ekk7um5wgh8qatz6llndkAuthor Public Key
npub1ku7w36cvpnnh7vrjk50hwxfhedfeqszs5r0d8gckrdphwvfqjzrssd3a6c