2015.06.20
- Winter School. Mathematical Software Tutorial
http://www2.math.kyushu-u.ac.jp/~s-yokoyama/MStutorial.html - Coq Tutorial Slide
http://www.slideshare.net/yoshihiromizoguchi/20150218tutorial-44796812
https://github.com/KyushuUniversityMathematics/CoqExamples/blob/master/20150218/slide20150218.pdf - Coq Tutorial Sample Coq Source https://github.com/KyushuUniversityMathematics/CoqExamples/blob/master/20150218/sample.v
- Coq Excercise (Ver.0.1) 4 Chapters
Including a guided proof of TPPmark2014. https://github.com/KyushuUniversityMathematics/TPP2014/wiki - Complete PDF file (embed IPA Japanse fonts)
https://github.com/KyushuUniversityMathematics/CoqExamples/blob/master/CoqExercise/CoqExercise.pdf - Source files https://github.com/KyushuUniversityMathematics/CoqExamples/tree/master/CoqExercise