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
思った
払ったにも関わらずキャンセル料要求されるってどういうことだよとずっと思っていたけど普通に払ってないのにドタキャンしたというケースで払わなければならないということを知った