https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @sinya8282 TATA https://t.co/QmbnsD6cpd のTheorem2.4.3くらいでどうですか。（なんかほとんど自明なので対応する文法の作り方を示して後はstraightforwardとしか書いてないですが） | |
| そういえば #anarchyproof 復活すると嬉しいなあという話題が僕の周りで出ました(突然) @kikx | |
| ＠若くて鯖管が好きな各位 https://t.co/MYfBiuT7Kb |