edit by github copilot sonnet 3.7

2025-06-18 17:19:37 +09:00
parent e9a6d8dd19
commit d0e330bb6a
15 changed files with 168 additions and 17 deletions
--- a/content/Coq.md
+++ b/content/Coq.md
@ -1,6 +1,12 @@
 ---
 date: "2023-08-22T23:39:29+0900"
 ---
-#tools #software 
+#tools #software #programming-language #logic

-定理証明支援システム
+[[依存型]]に基づいた定理証明支援システム。フランス[[INRIA]]で開発され、プログラムの正当性証明に使用される。
+
+[[Coqの勉強]]で学習リソースを整理している。
+
+### 関連研究者
+
+- [[Emilio Jesús Gallego Arias]] - [[Faust]]の形式的証明プロジェクトに関わっている