Tim McKenzie

Please Note

This person can no longer be contacted through the School of Mathematics and Statistics at Victoria University of Wellington

Biography

I'm currently interested in using a computer program called Isabelle to verify mathematical proofs. More specifically, I'm concentrating on proofs about geometry.