= Coq

• 02.11.2025 Кунг-фу Петух
• 31.10.2021 Заметки про типы в Coq (WIP)