proof-comparison Shallow investigation of different proof assistants. Attempt to complete simple tasks with each one.