Skip to content

Releases: leanprover-community/lean-auto

v4.11.0

10 Sep 07:16
Compare
Choose a tag to compare
bump version to v4.11.0

nightly-testing-2024-02-21

22 Feb 05:27
Compare
Choose a tag to compare

v0.0.7

20 Feb 21:48
9bfc3ca
Compare
Choose a tag to compare
Merge pull request #20 from leanprover-community/main

Merge updated DTr data structure so Duper can track isFromGoal information

nightly-testing-2024-02-20

20 Feb 23:45
Compare
Choose a tag to compare
remove import Std where possible

nightly-testing-2024-02-18

18 Feb 09:01
Compare
Choose a tag to compare
remove preferReleaseBuild for now

v0.0.6

03 Feb 03:51
Compare
Choose a tag to compare
TPTP Parser Bug Fix

v4.6.0-rc1

15 Feb 12:39
Compare
Choose a tag to compare
pin std to v4.6.0-rc1

v0.0.5

21 Jan 23:43
Compare
Choose a tag to compare
Modifying the duper branch to match the main branch

main_test

08 Jan 06:47
Compare
Choose a tag to compare
test

v0.0.4

19 Dec 17:52
Compare
Choose a tag to compare
Updating build.yml to work with Lean v4.4.0-rc1