Latest Mizar releases (version 8.1.08, MML 5.50.1318)

admin (2018年5月22日 10:30) | コメント(0) | トラックバック(0)

Mizar version 8.1.08, MML 5.50.1318 がリリースされました．

Mechanized Mathematics and Its Applications, Vol.1, No.1 (2000)

admin (2018年2月28日 16:51) | コメント(0) | トラックバック(0)
Mechanized Mathematics and Its Applications (MMA) について，Permalink URL による論文PDF公開を開始しました．

Formalized Mathematics Volume 25, Issue 2 (Jul 2017)

admin (2017年11月10日 09:34) | コメント(0) | トラックバック(0)
Formalized Mathematics Volume 25, Issue 2 (Jul 2017) が発刊されました． https://www.degruyter.com/view/j/forma.2017.25.issue-2/issue-files/forma.2017.25.issue-2.xml

Latest Mizar releases (version 8.1.06, MML 5.45.1305)

admin (2017年11月10日 09:30) | コメント(0) | トラックバック(0)

Mizar version 8.1.06, MML 5.45.1305 がリリースされました．

ホームページをMovableTypeで再構築中です

admin (2017年11月10日 09:10) | コメント(0) | トラックバック(0)
従来からある学会ホームページですが，リニューアル工事を行っております．