3
내 증명에 사용 된 모든 공리를보고 싶습니다. 이러한 정보를 얻는 가장 쉬운 방법은 무엇입니까? 어떤 명령이나 스크립트 또는 도구를 사용해야합니까? 나는 모든 공리 또는 모든 사용 공리에 관심이 있습니다.모든 공리를 표시합니다. Coq
A
답변
4
관련 문제
- 1. COQ
- 2. Coq : 의미있는 힌트를 추가하는 방법?
- 3. Coq : 환경의 유니버스에있는 모든 용어 표시 유형 :
- 4. Z3에 대한 간단한 공리를 제공합니다.
- 5. 레알과 COQ
- 6. 오류 : COQ
- 7. Z3 Java API에서 공리를 작성하는 방법은 무엇입니까?
- 8. Coq 문자열 정렬 보조자
- 9. Coq : 정수의 부울 비교
- 10. Coq 종속 유형
- 11. Coq - IP 표기법
- 12. 표준 라이브러리없이 coq 컴파일
- 13. Coq Qed 전술이 중단됩니다.
- 14. 연속 통합의 일부인 Coq
- 15. Coq 표현식에서 "대칭"사용하기
- 16. OCaml의 문자열과 COQ 문자열은
- 17. Coq 인트라 구문
- 18. State-machines in Coq
- 19. 모든 div를 하나씩 표시합니다.
- 20. 목록의 모든 제품을 표시합니다.
- 21. 모든 행에서 검색하여 표시합니다.
- 22. CSS는 모든 어린이를 표시합니다
- 23. NULL이더라도 모든 레코드를 표시합니다.
- 24. Django는 모든 페이지에서보기를 표시합니다.
- 25. 완료된 모든 필드를 표시합니다.
- 26. PHP는 모든 연결을 표시합니다.
- 27. 루비는 모든 요소를 표시합니다.
- 28. 전체보기 모든 게시물을 표시합니다
- 29. Coq : 유도 성 목록의 문제
- 30. Coq - 레코드에 매개 변수 전달