7зной
2ответ
Агдаподобное программирование в Coq/Proof General?
1зной
1ответ
0зной
1ответ
Coq не будет вычислять функцию typeclass, если у typeclass есть Prop
3зной
1ответ
Поставляя раздел аргументы для примеров
3зной
1ответ
3зной
1ответ
Библиотека Coquelicot для базового студенческого исчисления