Add Expr>><+ as theory symbol - Githubissues

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

Add Expr>><+ as theory symbol #261

Closed shingarov closed 6 months ago