Система разработки доказательств и сертифицированных программ Coq

Russian:

• Слайды на русском языке (PPT)

• Слайды на русском языке (PDF)

• 56кб упражнений из книжки Coq'Art и просто экспериментов - можно открыть в CoqIDE и попутешествовать

English:

• Slides in english (PPT)

• Slides in english (PDF)

• 56kb of solved exercises from the Coq'Art book and just experiments - you can open it in CoqIDE and travel around