Printing floating points
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
Fri Jan 29 18:35:54 UTC 2021
On Friday, 29 January 2021 at 14:24:17 UTC, Bruce Carneal wrote:
> Then I misunderstood you all along. I thought that you were
> describing something that would be part of a formal proof.
A formal proof would have to be machine checked. So you need a
good solver/verifiers. And experience to make good use of, and
patience... I think we can safely say that this is out of scope
for the D community at this point.
More information about the Digitalmars-d
mailing list