Chris Taylor Developer
Freelance software engineer United Kingdom
Updated: 27 November 2025
The Mechanics of Proof