shingarov/MachineArithmetic Issues
Investigate non-Z3-data FTC
UpdatedFix dead link
Closed 1Thread-safe CGState
Updated[PLE] Negative Gauss diverges
Updated 1[Z3] Finalize Datatype API
UpdatedStray entry in BindEnvironment
Closed 1Review package MathNotation
Updated 1Remove name-aliasing
Closed 2Move OttawaLCF here
UpdatedMove Pharo-Ott here
UpdatedImplement Pointers
UpdatedImplement State
Updated