search

imandra-ai / imandra-ptime

IML-compatible version of the Ptime library
2 stars 0 forks source link

Remove the require layer as no longer needed #3

Closed crvdgc closed 1 year ago