afp-2014-02-14.tar.gz (afp-2014-02-14.tar.gz( 外部リンク: SF.net): 10,704,110 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelle の定理証明における機械的にチェックのコレクションです。それは科学的な雑誌の方法で編成されます。サブミッションは査読有り。
