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).
- Location
- California
- Metamath Symbolic Proofs
- https://us.metamath.org/
- Integer Sequences
- https://oeis.org/