| 3db454d2 | gnu: Add lean4-mathlib4. | Carlo Zancanaro | 2026-09-18 20:54 |
| 5c643d20 | gnu: Add lean4-plausible. | Carlo Zancanaro | 2026-09-18 20:54 |
| 43cd3757 | gnu: Add lean4-aesop. | Carlo Zancanaro | 2026-09-18 20:54 |
| 98f8e1d2 | gnu: Add lean4-import-graph. | Carlo Zancanaro | 2026-09-18 20:54 |
| a6f504fc | gnu: Add lean4-search-client. | Carlo Zancanaro | 2026-09-18 20:51 |
| f8843946 | gnu: Add lean4-quote4. | Carlo Zancanaro | 2026-09-18 20:51 |
| 58134d97 | gnu: Add lean4-cli. | Carlo Zancanaro | 2026-09-18 20:51 |
| 9c9b0244 | gnu: Add lean4-batteries. | Carlo Zancanaro | 2026-09-18 20:51 |
| a22fb229 | gnu: lean: Add helpers for lean packages. | Carlo Zancanaro | 2026-09-18 20:49 |
| 106a0204 | gnu: lean4: Add native search paths. | Carlo Zancanaro | 2026-09-18 20:49 |
| 8422e8b7 | gnu: lean4: Refresh inputs. | Andreas Enge | 2026-08-17 13:44 |
| 7cd27fa8 | gnu: llvm: Switch default llvm to 22. | Zheng Junjie | 2026-07-02 16:04 |
| dfad3397 | gnu: lean4: Update to 4.29.0. | Cayetano Santos | 2026-06-08 17:27 |
| e9160786 | gnu: Add cadical-2.1. | Sören Tempel | 2026-04-04 16:27 |
| 404a14f8 | gnu: Remove lean. | Andreas Enge | 2026-03-09 10:12 |
| ab16f88d | gnu: python-mathlibtools: Update to 1.3.2. | Sharlatan Hellseher | 2026-02-25 08:18 |
| 74d99271 | gnu: lean4: Update to 4.28.0. | Lîm Tsú-thuàn | 2026-02-25 08:18 |
| 8e8d18f6 | gnu: python-mathlibtools: Fix build. | Sharlatan Hellseher | 2026-02-07 11:28 |
| 36d7c88f | gnu: lean4: Fix silent install failure | Luca Di Sera | 2025-12-27 15:29 |
| 31b4c153 | gnu: python-mathlibtools: Switch to pyproject. | Nicolas Graves | 2025-09-27 22:25 |
| e4ca2ae0 | gnu: Add lean4. | Danny Milosavljevic | 2025-03-26 01:08 |
| 46ec8592 | gnu: lean: Update to 3.51.1. | Zhu Zihao | 2023-12-11 22:39 |
| f1bcc043 | gnu: lean: Use G-expressions. | Zhu Zihao | 2023-12-11 22:39 |
| a9429c8f | Merge branch 'staging' into core-updates. | Maxim Cournoyer | 2022-03-22 03:39 |
| 6ccf8ea8 | Merge branch 'master' into core-updates | Efraim Flashner | 2021-12-19 13:15 |
| ff012063 | Merge remote-tracking branch 'origin/master' into core-updates | Christopher Baines | 2020-11-29 17:34 |
| d726b954 | Merge branch 'master' into core-updates | Jakub Kądziołka | 2020-07-23 19:43 |
| c2cf286c | Update email address and Savannah handle for Amin Bandali. | Amin Bandali | 2020-03-28 20:30 |
| a3143063 | Update email address for Amin Bandali. | Amin Bandali | 2020-01-17 17:30 |
| db1bc0d9 | gnu: Add lean. | Amin Bandali | 2020-01-03 21:46 |