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での論理的なリーゾニング

1.2 Une introduction à la vérification de programmes avec Coq/Coqによるプログラムの検証入門

1.3 Liens complémentaires