โปรแกรมตาม afp.sf.net

หอจดหมายเหตุของหลักฐานอย่างเป็นทางการเป็นคอลเลกชันของห้องสมุดหลักฐานตัวอย่างและการพัฒนา scientifc ขนาดใหญ่ตรวจสอบทางกลในทฤษฎีบทพิสูจน์ Isabelle มันถูกจัดในทางของวารสารวิทยาศาสตร์ มีผู้ตัดสินการส่ง