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).