Контакты

Как связаться с автором и следить за работой.

• Автор: Horsocrates
• Почта: [email protected]
• Репозиторий: github.com/Horsocrates/theory-of-systems-coq.