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
nprofile1qqsfrylq3z2gsevqgxpzy0cvfewauhvp72pvyzutsnevughs6jl0gzspzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxgjahpthPublishing to
relay.nostr.band relay.nostr.band
Author Public Key
npub1jxf7pzy53pjcqsvzyglscnjamewcru5zcg9chp8jec30p4977s9qmp0dxv