Новости

• Формализуем изоморфизм Карри-Говарда в Agda
• Рассчет PDV
• Линейная регрессия в картинках
• Выбор кина
• Конвертер чисел
• Карманный оракул
• Параллельная Библия (Латынь-Английский)
• Параллельная Библия (Латынь-Русский)