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

llspritいってきました。

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