search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
26 stars 11 forks source link

Update Cargo.toml SPDX format and lock file #4

Closed david-a-wheeler closed 3 years ago

david-a-wheeler commented 3 years ago

Fix the Cargo.toml license entry ("/" is deprecated, since it's not part of the SPDX specification; use "OR" instead).

This also updates the Cargo.lock file - lock files now include checksums, which prevent some attacks.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com