🧠Junghanacs
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: coq
Tag: coq
6 items with this tag.
Nov 11, 2024
#박성우 #콕 #논리학
bib
coq
logic
fleeting
Sep 28, 2024
#증명보조기
coq
meta
proofassistants
fleeting
Jul 08, 2024
#콕 #설치 #오펨 #스코드
coq
notes
opam
vscode
Jul 07, 2024
#콕 #이맥스 #에디터 연동
coq
emacs
installation
notes
Jul 05, 2024
#이맥스 #증명보조기: #콕 #설치
coq
emacs
howtoinstall
howtouse
ide
notes
proofassistants
Jul 05, 2024
정주희: #콕 #증명보조기
bib
coq
proofassistants