Tutorial by Topics: 전술



이 섹션에서는 다양한 Coq 전술 및 기법 (케이스 분석, 유도에 의한 증명, 자동 등)을 사용하여 정리를 증명하는 방법에 대한 정보를 제공합니다.

Page 1 of 1