I guess we can merge this, but if there is a new release later with the logpath fixes in https://github.com/SSProve/ssprove/pull/41 I think it would be best to remove this package. There was already a near-collision with Fiat Crypto which uses Crypto logpath (not Crypt).
I guess we can merge this, but if there is a new release later with the logpath fixes in https://github.com/SSProve/ssprove/pull/41 I think it would be best to remove this package. There was already a near-collision with Fiat Crypto which uses
Crypto
logpath (notCrypt
).