summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2024-07-31Fix a building bugXuanrui Qi
2024-06-10Version 3.1.1, also add lean4 to providesXuanrui Qi
2024-02-29Version 3.1.0Xuanrui Qi
2023-10-20Version 3.0.0Xuanrui Qi
2023-08-08Version 2.0.1Xuanrui Qi
2023-08-08Added lake to binlinksXuanrui Qi
2023-05-30Version 1.4.5Xuanrui Qi
2022-10-15Version 1.4.2Xuanrui Qi
2022-09-10Version 1.4.1, and updated source to officialXuanrui Qi
2021-11-11Version 1.3.1Xuanrui Qi
2021-10-30Version 1.2.0Xuanrui Qi
2021-06-28Version 1.0.6Xuanrui Qi
2021-04-09Release 0.11.0Xuanrui Qi
2021-02-22Update package descriptionXuanrui Qi
2021-01-30Add leanchecker binlinkXuanrui Qi
2021-01-30Initial commitXuanrui Qi