これを証明するのすごく大変だったんだけど後から見返すと全然大変じゃなさそうなの困る。

やっぱ、ACL2 は自動証明なので後からコードだけ読んでもそれがどうしたって感じになるなー。

Follow

大変だったアピールするためには解説記事書くしかないな

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!