зеркало из
https://github.com/iharh/notes.git
synced 2025-11-01 14:16:09 +02:00
6 строки
138 B
Plaintext
6 строки
138 B
Plaintext
https://math-comp.github.io/mcb/
|
|
https://www.labri.fr/perso/casteran/CoqArt/
|
|
|
|
2013
|
|
https://homepage.mi-ras.ru/~sk/lehre/coq/coq_pract.pdf
|