Вопросы с тегом реальный-номер - PullRequest
Новая

Вопросы с тегом реальный-номер

2 голосов
2 ответов
В Coq, есть ли тактика для работы с Рабами, Rineq?

Я новичок в Coq, и мой основной интерес заключается в том, чтобы использовать его для решения...

anon / 28 октября 2019
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...