Результаты поиска по запросу "real-number"

1 ответ

Как автоматически доказать простое равенство действительных чисел в Coq?

То, что я ищу, это

ТОП публикаций