Cours à propos de Coq/Coqに関する授業
1 Introduction à l'assistant de preuve Coq/定理証明私支援系Coqの入門
1.1 Les règles de déduction naturelle expliquées à partir des tactiques de Coq/定理証明支援系Coqでの論理的なリーゾニング
- Cours/授業:
- en français (Intervention dans le cours Automates et Logiques, Université de Lille 1 (février-mars 2016))
- 日本語 (集中講義 千葉大学大学院 )
- Travaux pratiques/演習問題:
1.2 Une introduction à la vérification de programmes avec Coq/Coqによるプログラムの検証入門
- Cours/授業
- en français (Intervention dans le cours Histoire et épistémologie du calcul et de l'informatique, Université de Lille 1 (février 2016))
- 日本語 (集中講義 千葉大学大学院 )
- Les définitions Coq vues en cours
- Travaux pratiques/演習問題:
1.3 Liens complémentaires/その他の情報
- L'assistant de preuve Coq (installation, etc.)
- Le manuel de référence de Coq
- L'index des tactiques
- La librairie standard de Coq
- Le livre de référence sur Coq en français est disponible en ligne
- Cours d'introduction à la logique et à la théorie de la démonstration