llspritいってきました。

Coqが面白そうだった。どうやって全ての組み合わせを試すの?とか。