notes/science/proof/coq/docs/tutorials.txt

зеркало из https://github.com/iharh/notes.git synced 2025-10-31 05:36:08 +02:00
2021
https://www.linuxlinks.com/excellent-free-tutorials-learn-coq/
	`2021`
	`https://www.linuxlinks.com/excellent-free-tutorials-learn-coq/`