サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
mizar.org
14th Conference on Interactive Theorem Proving (ITP 2023) organized by the Mizar team will take place in Bialystok, Poland. Conference dates: July 31-August 4, 2023. A new open-access Mizar and MML survey paper published: The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. In J. Avigad et al. (Eds.), Special Issue: Milestones in Interactive Theorem Proving, Journ
このページを最初にブックマークしてみませんか?
『Mizar Home Page』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く