あれ、昨日ヒントを書かないと証明してくれなかったやつが今日は書かなくても普通に証明してくれるのなんで？深夜の謎のテンションで書いてたのが悪かったのかな……。
#ACL2
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!
