feat: update to lean v4.31.0#77
Open
srghma wants to merge 1 commit into
Open
Garnix CI / Evaluate flake.nix
succeeded
Jun 16, 2026 in 14s
Evaluate flake.nix
Evaluate flake.nix succeeded
Details
Last 100 lines of logs:
Loading