1001コメント361KB

ジョルダンの曲線定理が完全証明される

■ このスレッドは過去ログ倉庫に格納されています

0090１３２人目の素数さん

2005/09/28(水) 19:48:00

Mizar言語の職人が量産されて、それがMizarドカタ等と蔑まれる時代が来るのだろうか…

■ このスレッドは過去ログ倉庫に格納されています