search

shingarov / MachineArithmetic

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

Remove bogus Z3Context>>z3fullVersion #349

Closed shingarov closed 1 month ago

shingarov commented 1 month ago

LibZ3 does not even understand #getFullVersion.