jcreed
theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]
foundations: constructive, univalent
gh: https://github.com/jcreedcmu
foundations: constructive, univalent
gh: https://github.com/jcreedcmu
Public Key
npub1jxf7pzy53pjcqsvzyglscnjamewcru5zcg9chp8jec30p4977s9qmp0dxvNIP-05 Address
jcreed_at_mastodon.social@momostr.pinkProfile Code
nprofile1qqsfrylq3z2gsevqgxpzy0cvfewauhvp72pvyzutsnevughs6jl0gzspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsvhrjs3