|visits||member for||1 year, 8 months|
|seen||Feb 28 at 16:05|
I'm mostly here to learn more about logic and proofs. I do most of my logic-related work in the J programming language.
|bio||website||michaljwallace.com||visits||member for||1 year, 8 months|
|location||Texas||seen||Feb 28 at 16:05|