Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/lean: Fix performance problem | Yuri Victorovich | 2022-09-05 | 1 | -0/+174 |
* | math/lean: Update 3.40.0 -> 3.41.0 | Yuri Victorovich | 2022-03-12 | 1 | -0/+3 |
* | math/lean: Update 3.35.1 -> 3.39.1 | Yuri Victorovich | 2022-02-09 | 1 | -0/+1 |
* | math/lean: Update 3.33.0 -> 3.35.0 | Yuri Victorovich | 2021-10-31 | 1 | -12/+0 |
* | math/lean: Update 3.32.1 -> 3.33.0 | Yuri Victorovich | 2021-09-18 | 1 | -0/+3 |
* | math/lean: Update 3.30.0 -> 3.31.0 | Yuri Victorovich | 2021-06-30 | 1 | -1/+0 |
* | math/lean: Update 3.26.0 -> 3.27.0 | Yuri Victorovich | 2021-02-26 | 1 | -0/+1 |
* | math/lean: Update 3.21.0 -> 3.22.0 | Yuri Victorovich | 2020-10-28 | 1 | -1/+0 |
* | math/lean: Update 3.19.0 -> 3.20.0 | Yuri Victorovich | 2020-09-10 | 1 | -1/+2 |
* | math/lean: Update 3.4.2 -> 3.17.1 | Yuri Victorovich | 2020-07-21 | 1 | -280/+37 |
* | math/lean: Update 3.4.1 -> 3.4.2 | Yuri Victorovich | 2019-01-23 | 1 | -6/+0 |
* | New port: math/lean: Theorem prover | Yuri Victorovich | 2018-07-22 | 1 | -0/+832 |