CommonKnowledge.lean (todo)

[shnarazk]

Mathematics in Lean が終わったらCommon Knowledgeの形式化でもしてみようと思っていたのだが、おお、つい最近も何か関連する論文が出ていた。

https://arxiv.org/abs/2311.04374v2

今のペースだと来年の話なのだが、もうちょっと急ぎたいものだな。