Fix dead link - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

Closed ucskyship closed 3 months ago

ucskyship commented 3 months ago

The pure-z3 branch of MachineArithmetic does not contain the path MachineArithmetic/README.md.

Screenshot 2024-06-09 090436

ucskyship commented 3 months ago

awesome…