271 reputation
15
bio website michaljwallace.com
location Texas
age 37
visits member for 1 year, 9 months
seen 2 days ago

I'm mostly here to learn more about logic and proofs. I do most of my logic-related work in the J programming language.