|
- [An Introduction to MathComp-Analysis](https://staff.aist.go.jp/reynald.affeldt/documents/karate-coq.pdf) - Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis. |
There is an updated version of this pdf that takes into account (among others) the renaming to Rocq: https://staff.aist.go.jp/reynald.affeldt/documents/karate-rocq.pdf
awesome-coq/README.md
Line 270 in 6520b57
There is an updated version of this pdf that takes into account (among others) the renaming to Rocq: https://staff.aist.go.jp/reynald.affeldt/documents/karate-rocq.pdf