Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/mathlibtools: Removed because it is obsolete | Yuri Victorovich | 2024-04-28 | 1 | -3/+0 |
* | math/mathlibtools: Update 1.1.2 -> 1.2.0 | Yuri Victorovich | 2022-11-05 | 1 | -3/+3 |
* | math/mathlibtools: New port: Lean prover mathlib supporting tools | Yuri Victorovich | 2022-09-06 | 1 | -0/+3 |