뭐 새로움?
[일반] HoTT 공부해본 사람 있음?
익명(183.97)
2018-12-27 19:26
추천 0
댓글 2
다른 게시글
-
하고 싶은 거 vs 잘 하는 거 [1][일반] 익명(122.36) | 18.12.27추천 0
-
BCN 정주행 간다. [3][일반] Rafle(probaroque) | 18.12.27추천 8
-
다음학기 시간표 떴는데 수업 수가 확 줄었네 [5][일반] 익명(202.14) | 18.12.27추천 0
-
행렬에 대해서 좌표변환에 불변인 다항식이 det tr이나 걔네의 함수외에 [4][일반] ㄴ(223.38) | 18.12.27추천 0
-
다변수 연산에 대한 직관적 이해? [9][일반] ㅇㅇㅇ(203.226) | 18.12.27추천 6
-
하고 싶은 거 존나 많은데 어케함 ㅅㅂ [9][일반] 익명(183.97) | 18.12.27추천 0
-
니들 근데 남이 하고 싶어하는 분야듣고 니들도 [2][일반] 익명(183.97) | 18.12.27추천 0
-
졸업한 수갤러들 취업 어디로했냐 [2][일반] 익명(221.153) | 18.12.27추천 0
-
내가 관심있는 게 수학 쪽에 가깝긴함 [1][일반] 익명(183.97) | 18.12.27추천 1
-
벡터장의 선적분 질문드립니다 [2][일반] 17189(223.38) | 18.12.27추천 0
Homotopy Type Theory ㄷㄷㄷ 연재를 앙망합니다.
일단 전 님처럼 pl부터 파봐야할 입장이라..