Hi. I'm Casey Robinson.
I enjoy playing games and writing software.
Property Based TestingUsing randomness to assert properties of software
I am learning about line drawing algorithms and testing methods like property based testing and mutation testing.
I am reading through Practical TLA+ by Hillel Wayne to better understand how to apply formal methods.
If you have any comments, project ideas, or just want to chat download my PGP key and send me a message.