2021.11.20
https://www.youtube.com/watch?v=DFZ-f-MDU-A
そんな…
前:
2021.11.19
後:
2021.11.21
#日報
やった
結果からいくと
opam
から
coq
も
coqide
も入れることで解決した
https://staff.aist.go.jp/reynald.affeldt/ssrcoq/install.html
証明した:
$ A, A \to B \implies B
モーダス・ポネンス
思った
https://gyazo.com/e59e4d1dd8337e840647ec20ac9c8f0a
この書き方だと最高でも生後200日未満である可能性があると思った
https://qiita.com/sirojake/items/1370a576fc2de4798362
食べ物が腐ると酸っぱくなるの納得できなさすぎ と思いながら全部食べた
見た
【東方Project】霊夢、易者を真っ二つの強さは?
記録した
!?(動画)
発生した
人の日報に介入できる権
いいね
kuatari - LINEPULSE
kuatari & Digital Reject - Shelter Soul
wbuffaw - ✂✃✂✃禁じられた遊び✂✃✂✃
wbuffaw - 白金ディスコ プラチナbuffa edit