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