Latest Mizar releases (version 8.1.08, MML 5.50.1318)

| コメント(0) | トラックバック(0)

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

トラックバック(0)

トラックバック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)」です。

最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。