AFP
Autres langues
正式证据档案
正式證據檔案
Archive of Formal Proofs
Dossier de preuve formelle
Archivo oficial de pruebas
Arquivo de provas formais
архив официальных доказательств
ملف الأدلة الرسمية
Archiv der formalen Beweise
正式な証明のアーカイブ
정식 증거 파일
แฟ้มหลักฐานอย่างเป็นทางการ