Coq랑 hoare logic 배우는중임
hoare logic은 명령형 언어 논증할 때 사용하는 논리임
https://softwarefoundations.cis.upenn.edu/plf-current/Hoare.html
참고로 이런데서 교재 공짜로 제공함
[%] Coq랑 호어로직 배우는중
다믜(damhiya)
2021-05-16 21:19
추천 1
다른 게시글
-
dkim 좀 많이 씨발스럽네[%] 익명(125.128) | 21.05.16추천 0
-
프로그래밍 언어 유행타는거 보면 좀 웃김 [2][%] 익명(219.249) | 21.05.16추천 0
-
여기 Rust하는 사람들은 걍 취미임? [4][%] ㅇㅇㅇ(124.56) | 21.05.16추천 0
-
먼가 머신러닝을 많이 쓰고 하는게 [5][%] 미쿠쟝(222.98) | 21.05.16추천 0
-
rust에서는 golang에서의 chan 같은거 있음? [7][%] 익명(124.56) | 21.05.16추천 0
-
nixos 재설치는 커맨드 7줄로 됨 [1][%] Riey(rerereq) | 21.05.16추천 0
-
자살하고싶다 [1][%] 익명(106.102) | 21.05.16추천 0
-
tsc와 babel의 트랜스파일링이 어떤 차이가 있나요? [5][%] 익명(1.221) | 21.05.16추천 0
-
Rust 근황 [4][%] 익명(110.76) | 21.05.16추천 0
-
크롤러 만드는 새끼들 특징 [1][%] 익명(106.102) | 21.05.16추천 0
댓글 0