昨日は書いてないんじゃなくて、起きてません。 つまり、寝てない。

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