Login
From:
雑記帳
(Uncensored)
subscribe
定理証明支援系についての問題意識
https://blog.miz-ar.info/2025/07/questions-on-proof-assistants/
links
backlinks
Tagged with:
プログラミング
coq
Roast topics
Find topics
Find it!
定理証明支援系 (proof assistant / interactive theorem prover) というのは、専用の言語で書いた証明を機械にチェックさせるツール、およびその証明の記述を支援するツールです。Ro […]
