2023.07.30
https://gyazo.com/ba1af29d6388570bd598ebcd6ab2c4fe
Ziphil氏がメンテナンスしている
ZenML
及び
Zotica
、下のような証明図が比較的?簡潔かつ直感的に記述出来るのいいなと思う
https://github.com/Ziphil/ZenmlZotica/blob/136a91d9f58438e13666e3dbce3a4f2907f3e35a/test/file/sample.zml#L584-L600
https://ziphil.github.io/ZenmlZoticaDemo/
前：
2023.07.29
後：
2023.07.31
#日報
知った
↑
きょうやったこと
Lean
でパーサ書いた 以上
観た
ずっとメモしてなかったんですけど
生徒会役員共
の1期を全部観ました
メモ
Kuroda否定変換