2023.08.22
前：
2023.08.21
後：
2023.08.23
#日報
観た
劇場版 生徒会役員共2
劇場版である意味本当に無さすぎていい
やった
coq-community/goedel
を読んでいる
正確には
Pierre Castéran, Jérémy Damour, Karl Palmskog, Clément Pit-Claudel, Théo Zimmermann; "Hydras & Co. Formalized mathematics in Coq for inspiration and entertainement"
及び
coq-community/hydra-battles
を読んでいる
https://github.com/coq-community/hydra-battles
思った
払ったにも関わらずキャンセル料要求されるってどういうことだよとずっと思っていたけど普通に払ってないのにドタキャンしたというケースで払わなければならないということを知った