🧠Junghanacs
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: proofassistants
Tag: proofassistants
4 items with this tag.
Oct 19, 2024
Terence Tao (2024) Machine Assisted Proof
bib
proofassistants
fleeting
Sep 28, 2024
#증명보조기
coq
meta
proofassistants
fleeting
Jul 05, 2024
#이맥스 #증명보조기: #콕 #설치
coq
emacs
howtoinstall
howtouse
ide
notes
proofassistants
Jul 05, 2024
정주희: #콕 #증명보조기
bib
coq
proofassistants