Closed crvdgc closed 1 year ago
imandra-ptime is installed into the imandra switch, allowing loading with require. Closes #187.
imandra-ptime
require
imandra-ptimeis installed into the imandra switch, allowing loading withrequire. Closes #187.