「Formalized Mathematics」でつながるキーワード
キーワード: 2件
Metamath.org
- 2008/09/17
- つながり: 3
- コメント: 0
- カオナシ
A modern Principia Mathematica on the webとも評される Norman Megill氏により開発され更新し続けられている オープンソ...
