Zenn
coq
このトピックを指定するには
coq
と入力
Articles
14
Books
1
Scraps
5
articles
Trending
Alltime
Latest
👻
coqのandとorを含む命題
Emma Evans
2020/09/20
4
👻
CoqのInductiveとDefinition
Emma Evans
2020/09/20
6
🐓
Coqで証明 順序を保つ写像
イキリサバタロウ
2020/10/04
4
🐓
Coqで証明 排中律周辺の命題
イキリサバタロウ
2020/09/25
2
👌
Coqで排中律の二重否定を証明
イキリサバタロウ
2020/09/20
5
🐓
Coqで証明 関数に関する証明
イキリサバタロウ
2020/09/29
1
🐓
Coqで証明 述語論理 スコープに関する命題の続き
イキリサバタロウ
2020/09/26
1
🐓
Coqで排中律の二重否定を証明（を一般化）
イキリサバタロウ
2020/09/22
2
👻
CoqのFixpointと帰納法を用いた証明
Emma Evans
2020/09/20
4
👻
Coqで証明
イキリサバタロウ
2020/09/18
2
🐓
Coqで証明 二重否定周りの証明
イキリサバタロウ
2020/09/24
1
🐓
Coqで証明 述語論理 スコープに関する命題
イキリサバタロウ
2020/09/25
🐓
Coqで証明 述語論理 ド・モルガンの法則
イキリサバタロウ
2020/09/25
🙌
Lean,CoqでAIに証明をしてもらう(各種不等式、Hahn-Banach、特異点解消定理、Weil予想)&LLMとの合体おすすめ論文
xiangze
2ヶ月前
2
