読者です 読者をやめる 読者になる 読者になる

XP

eXtreme Proving

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