locsec/notes
1
Форкнуть 0
зеркало из https://github.com/iharh/notes.git synced 2025-10-30 13:16:07 +02:00
Код Задачи Пакеты Проекты Релизы Вики Активность
notes/science/proof/coq/notes.txt
Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

4 строки
71 B
Plaintext
Исходник Ответственный История

Theoretical foundations
Raamsdonk - Logical Verification Course notes
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку