A
arpie4math@mathstodon.xyz
@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).
Ansehen
0
Profilaufrufe
1
Beigetreten
Zuletzt online
Location
California
Metamath Symbolic Proofs
us.metamath.org/
Integer Sequences
oeis.org/