컴퓨터 증명 이런거 관심있는사람 함 봐라
https://jhjeong.mindconnect.cc/CoqStudy/
Coq StudyCoq Studyjhjeong.mindconnect.cc아마 수리논리와 집합론 그책 쓴사람인듯
[일반] coq강의 누가 올리고있네
익명(61.105)
2024-04-25 03:28
추천 0
댓글 2
다른 게시글
-
김홍종 어디부터 어려워짐? [1][일반] 익명(106.102) | 24.04.25추천 0
-
학부수학 시험 조졌는데 [5][일반] 익명(203.248) | 24.04.24추천 0
-
작년6,9 수능 미적 만점에 기하확통 노베인데 스튜어트 미적분학[일반] 익명(211.234) | 24.04.24추천 0
-
보통 재료공이면 뭐 복전하는게 좋음? [3][일반] 익명(1.241) | 24.04.24추천 0
-
2달정도 멍때리면서 보냈음[일반] 익명(211.114) | 24.04.24추천 0
-
이게 새내기 미적이라니 [7][일반] 익명(106.101) | 24.04.24추천 0
-
최저X 한양의 논술 2년 연속 합격 vs KMO 금상 뭐가 어려움? [3][중고딩문제] 익명(223.39) | 24.04.24추천 0
-
대학 수학 공부하다보면 수능 수학 쉬워짐? [2][대학교이상] 익명(218.48) | 24.04.24추천 0
-
선형대수 질문 [2][대학교이상] 익명(172.226) | 24.04.24추천 0
-
근데 sos440이 누구임? [1][일반] 나그네(cc48wy6awalz) | 24.04.24추천 0
검색해봤는데 경북대 명예교수인가
언제 은퇴하셨지