-
触手パラダイスというガシャについて
15253pv 13 8 -
Accendere第2回公演「プルーフ/証明」感想まとめ(関係者の呟きも含みます)
2428pv 7 35 -
証明図を読み書きできるようになろう!
6538pv 23 2 users 3
-
社内でEmacs vs Vimが起きた
15105pv 70 9 users 9 -
Falso 定理証明系の大革命
5066pv 27 7 users