Richard Penner
SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).
Location: California
Metamath Symbolic Proofs: https://us.metamath.org/
Integer Sequences: https://oeis.org/
Location: California
Metamath Symbolic Proofs: https://us.metamath.org/
Integer Sequences: https://oeis.org/
Public Key
npub19gxjw7zgzufym95vt6tuacyx8c5x077nxcvfvwc92sq4pjgn0c9swha9zaNIP-05 Address
arpie4math_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqsz5rf80pypwyjdj6x9a97wuzrru2r8l0fnvxyk8vz4gq2seyfhuzcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds5x8kxkPublishing to
nostr.wine nostr.wine
Author Public Key
npub19gxjw7zgzufym95vt6tuacyx8c5x077nxcvfvwc92sq4pjgn0c9swha9za