2023.08.21
https://gyazo.com/1df10ed1afc2348795a362446ba6d3c5
https://shadow.garden/
前:2023.08.20
後:2023.08.22
#日報
観たか?
陰の実力者になりたくて!
この世で最も楽しいアニメの1つであることは明白であり、このアニメの2期が今年の10月にまた存在することが本当に嬉しい。
知った
へぇ〜 .garden っていうTLDあるんだ、ってことは………?→キタ━━━(゚∀゚)━━━!!
https://twitter.com/p__hone/status/1693267581237666122
shadow.garden,https://shadow.garden/
やった
Kreisel文を用いたLöbの定理の証明
埋めた.
思った
この世にはレンタルCD屋というものも存在し,そこで音楽を借りることもできるそうです♪
おれの口は嫌いなものを語るときに驚くべき速度で回るということがわかった
メモ
docker compose v2.20.0 の新機能includeが追加された
ヘ~
coq-community/goedel
https://github.com/coq-community/goedel