2зной
1ответ
Haskell - Использование индукции доказать импликацию
0зной
1ответ
Что означает `` `в типе цели в Агда?
1зной
2ответ
0зной
2ответ
2зной
2ответ
Определение «Мета-логика» и «объектно-логическая» (как слово) в Isabelle
-1зной
1ответ
Проверка линейных уравнений/Неравенства автоматически
7зной
1ответ
Как реализовать алгоритм Лета и Черепаха Флойда в Агда?