quartz-research-note/content/Coq.md

6 lines
90 B
Markdown
Raw Permalink Normal View History

---
2024-02-08 11:06:45 +00:00
date: "2023-08-22T23:39:29+0900"
---
#tools #software
定理証明支援システム