Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2024-06-22 | Improve `scalar_tac` and `scalar_decr_tac` (#256) | Son HO | 1 | -0/+94 | |
* Fix an issue in a proof of the hashmap * Improve scalar_decr_tac * Improve the error message of scalar_tac and add the missing Termination.lean |