Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 05-Oct-2022 16:21:28 JST きゅーけー
- かき@GNUsocialJP
ACL2の話をしただけで特定可能まであるので、みんな ACL2 をやってくれ。私のプライバシーを守るために……。

In conversation Wednesday, 05-Oct-2022 16:21:28 JST from mastodon.tojo.tokyo permalink
- 杉田匠 repeated this.
- Embed this notice
  きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 05-Oct-2022 16:21:28 JST きゅーけー
  in reply to
  - かき@GNUsocialJP
  Coq とか Agda だったらまず大丈夫だというのに ACL2 はどうなっているんだ……。
  
  In conversation Wednesday, 05-Oct-2022 16:21:28 JST permalink
  
  杉田匠 likes this.

Feeds