junghanacs🧠

Tag: proof

2 items with this tag.

  • 2025-06-09

    † #증명 #설득 #귀류 #변증 #반증 #배리

    • assistant
    • coq
    • meta
    • persuade
    • proof
  • 2025-06-08

    #증명보조기: #콕 #설치 #오펨 #VSCODE

    • coq
    • opam
    • vscode
    • proof


Webmentions

Reply via BlueskyReply via Mastodon

Comments

Built with Emacs · Org · Denote · ox-hugo · Quartz © 2026

  • @junghan0611
  • Threads
  • Bluesky
  • Mastodon
  • RSS
  • Source
  • Homepage
Junghan KimjunghanacsBlueskyMastodon
  • Scroll to top ↑
  • Random Page 🎲