search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

[Z3] Add Gauss tests regarding n-1 < n for termination #259

Closed shingarov closed 8 months ago

shingarov commented 8 months ago

Creating this PR so as to not lose the branch, until we have #<+ the test will fail. Once we sort out #258 , we will rebase and the test will pass and we'll merge this.