CODEWITHSUNDEEP

StackOverflow Questions for Tag: real-number

thor

Reputation: 22530

What's the difference between `Reals` and `Coq.Reals.*` in Coq?

Score: 0

Views: 180

Answers: 0

thor

Reputation: 22530

How to simplify real number terms in Coq?

Score: 3

Views: 430

Answers: 1

PreviousPage 3Next