0зной
1ответ
Перерыв гипотезы «forall» с конъюнкциями в компоненты?
1зной
1ответ
1зной
1ответ
Как использовать авто с повторением в пользовательской тактике?
2зной
1ответ
Как использовать поиск авто и подсказки в пользовательской тактике?
4зной
1ответ
что делает двоеточие больше, чем знак означает в Coq
2зной
1ответ
Как использовать Coq GenericMinMax доказать факты о реалов
1зной
1ответ
Как написать Coq определения с «подтипов»