XP

eXtreme Proving

プラクティスはPair Proving。二人で一つのキーボードを使いIsavelIsabelleで証明に取り組む。