日本Mizar学会 > 学会からのお知らせ > Latest Mizar releases (version 8.1.08, MML 5.50.1318)
トラックバックURL: http://mizar-jp.org/mt/cgi-bin/mt-tb.cgi/11
このページは、adminが2018年5月22日 10:30に書いたブログ記事です。
ひとつ前のブログ記事は「Mechanized Mathematics and Its Applications, Vol.1, No.1 (2000)」です。
最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。
コメントする