About me

I write software to earn money and machine verifiable proofs for fun (see my project IsarMathLib – a library of formalized mathematics for Isabelle/ZF).

Sometimes I write software for fun. I wouldn’t mind writing machine verifiable proofs for money.