junghanacs🧠
Search
Search
Dark mode
Light mode
Explorer
Tag: proof
2 items with this tag.
2025-06-08
†#증명#설득#귀류#변증#반증#배리
coq
proof
assistants
persuade
meta
2025-06-07
#증명보조기: #콕 #설치 #오펨 #VSCODE
coq
opam
vscode
proof
Comments