![](/statics/img/blank.png)
Archive of Formal Proofs 2011
라이센스: 무료 파일 크기: N/A
사용자 평가: 4.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Archive of Formal Proofs
정식 증거의 아카이브는 이론 prover Isabelle에서 기계적으로 확인 된 증거 라이브러리, 예 및 더 큰 사이엔티프 개발의 모음입니다. 그것은 과학 저널의 방법으로 조직된다. 제출물은 심판입니다.