Posts tagged "agda"

• Типы и Логика - May 1, 2020
• Введение в Agda - April 27, 2020