プログラム afp.sf.net

正式な証明のアーカイブは、定理プロファーイザベルで機械的にチェックされた証拠ライブラリ、例、およびより大きなサイエンティフックの開発のコレクションです。それは科学雑誌の方法で組織されています。提出物は審判されます。