My website (including the proof mining bibliography) has moved to here! This website will not be maintained anymore and might soon be closed.