Richard Penner
@arpie4math@mathstodon.xyz
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).
I Topics più popolari
Reputation
0
Profile views
1
Joined
Last Online
Location
California
Metamath Symbolic Proofs
us.metamath.org/
Integer Sequences
oeis.org/