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

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

https://softwarefoundations.cis.upenn.edu/current/index.html
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку