[PLE] Negative Gauss diverges - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

[PLE] Negative Gauss diverges #265

Open shingarov opened 7 months ago

shingarov commented 6 months ago

So that's https://github.com/ucsd-progsys/liquid-fixpoint/commit/c2b2882d7f8c73bf1deba7a291a9b7efc8828e24