issues
search
shingarov
/
MachineArithmetic
A mathematical foundation for Smalltalk-25
MIT License
17
stars
6
forks
source link
Add `Z3Sort>>isIntSort` in parallel to isBoolSort
#377
Closed
shingarov
closed
2 weeks ago