calibre321
Workshop log.
Currently poking at automated reasoning and the quantum world, learning tennis and snooker, rock-climbing, lifting heavy, and walking.
Workshop log.
Currently poking at automated reasoning and the quantum world, learning tennis and snooker, rock-climbing, lifting heavy, and walking.