junghanacs🧠

Tag: proofassistants

3 items with this tag.

2025-04-29
@정주희 #증명보조기 COQ 강의
2025-03-15
@테런스타오 @TerenceTao 수학자 보조증명
2024-12-01
#이맥스 #증명보조기 #콕 #설치

Webmentions

Reply via Bluesky Reply via Mastodon

Comments

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

@junghan0611
Threads
Bluesky
Mastodon
RSS
Source
Homepage

Junghan KimjunghanacsBluesky Mastodon

Scroll to top ↑
Random Page 🎲