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

llspritいってきました。

LLSprit

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