junghanacs🧠
Search
Search
Dark mode
Light mode
Explorer
Tag: proofassistants
4 items with this tag.
2026-05-15
§logickocli 한국어 자연어 추론 표준 논리 좌표계
agent
aprj
botlog
cli
logic
proofassistants
skill
2025-04-29
@정주희 #증명보조기 COQ 강의
coq
notes
proofassistants
lecture
2025-03-15
@테런스타오 @TerenceTao 수학자 보조증명
bib
proofassistants
ai
lean
mathematics
2024-12-01
#이맥스 #증명보조기 #콕 #설치
coq
emacs
howtouse
ide
install
proofassistants
Comments