User: thingltd

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