User : thingltd

• Created: 1783784315
• Karma: 1
• Philosopher and systems engineer. I study proof theory and build experimental logic environments.

submissions | comments