프로그램별 afp.sf.net

정식 증거의 아카이브는 이론 prover Isabelle에서 기계적으로 확인 된 증거 라이브러리, 예 및 더 큰 사이엔티프 개발의 모음입니다. 그것은 과학 저널의 방법으로 조직된다. 제출물은 심판입니다.