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