Coq로 무한강하법 구현하는거 혹시 잘 정리된 문서 알고 계시는 분은 알려주심 감사하겠습니다... ㅠㅠ
[일반] 도와줘.. Coq..
익명(116.123)
2021-07-30 21:02
추천 0
댓글 2
다른 게시글
-
이공계에서 쓰는 문장 vs 토익문장 어떤게 더 어렵나요??? [5][일반] 원서대번역..(220.122) | 21.07.30추천 0
-
물리 최신이론 이런건 뭐가 정답인지 모르겠어서 물리과 안감 [14][일반] 익명(118.235) | 21.07.30추천 0
-
안녕하세요 물리공부하다가 궁금한게 있어서 질문을 합니다. [4][일반] 물린이(220.122) | 21.07.30추천 0
-
대수 또 질문[일반] ㅇㅅㅇ(211.215) | 21.07.30추천 0
-
원서 번역본중 어느걸로 공부하는게좋음? [1][일반] 익명(175.203) | 21.07.30추천 0
-
대수 질문[일반] ㅇㅅㅇ(211.215) | 21.07.30추천 0
-
선형대수 [1][일반] 익명(118.235) | 21.07.30추천 0
-
이거 한권 떼면 이쪽으로 연구시작할 수 있음? [5][일반] 익명(118.235) | 21.07.30추천 0
-
벡터공간 사이의 동형사상 하니까 생각난건데 [4][일반] ScARfaCE(kayuaao) | 21.07.30추천 1
-
이거 조건이 왜 있는 건가요? [2][중고딩문제] 익명(1.236) | 21.07.30추천 0
coq은 아는데 무한강하법을 모름 ...
무한 들어가는 걸 보니 아마 coinductive 쓸 듯?