13열
1답변
5열
1답변
0열
1답변
Coq에서 HoTT 경로 유도를 사용하는 방법? COQ에서
1열
1답변
Coq HoTT - 정리를 올바르게 정리하는 방법은 무엇입니까?
3열
1답변
1열
3답변
11열
1답변
"어휘 유형"이란 무엇이며, 얼마나 많은 단어가 존재합니까? 프로그래밍 언어의 맞은 편에
2열
2답변
유효한 데이터 만 구성 할 수 있도록 ADT 데이터를 제한하는 방법이 있습니까? 내가 <strong>정수</strong>을 정의 할 때
5열
1답변
1열
1답변
태그가 지정되지 않은 공용체가 유형 클래스를 허용하는 것과 동등한 것을 허용합니까?