Follow

諸事情であんまり頭を使えなくなっているので、ACL2 で軽く入出力をする方法だけ調べるだけにしよう。

· · Web · 0 · 0 · 1
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!