зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
11 строки
176 B
Plaintext
11 строки
176 B
Plaintext
Books:
|
|
https://math-comp.github.io/mcb/
|
|
|
|
extractors:
|
|
https://github.com/pirapira/coq2rust
|
|
|
|
coq-io:
|
|
http://coq.io/
|
|
https://github.com/coq-io/system
|
|
https://github.com/coq-io/io
|