kilianar 2b3ec1d37a lean: 3.47.0 -> 3.48.0 ... https://github.com/leanprover-community/lean/releases/tag/v3.48.0		2022-08-31 11:32:21 +02:00
..
default.nix	lean: 3.47.0 -> 3.48.0	2022-08-31 11:32:21 +02:00