v4.25.2-hammer

Update to v4.25.2

v4.25.1-hammer

Update to v4.25.1

v4.25.0-hammer

Update to v4.25.0

v4.25.0-rc2-hammer

Update to v4.25.0-rc2

v4.24.0-hammer

Update to lean v4.24.0

v4.11.0

bump version to v4.11.0

nightly-testing-2024-02-21

no more Std

v0.0.7

Merge pull request #20 from leanprover-community/main

Merge updated DTr data structure so Duper can track isFromGoal information

nightly-testing-2024-02-20

remove import Std where possible

nightly-testing-2024-02-18

remove preferReleaseBuild for now