271 reputation
bio website michaljwallace.com
location Texas
age 37
visits member for 1 year, 9 months
seen 20 hours 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.

This user has not participated in any bounties