f40015bf - nixos-config

Authored by: Anthony Wang
Authored at: 2025-04-23 18:37:58 -0400
Committed by: Anthony Wang
Committed at: 2025-04-23 18:37:58 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQJDvctdHtJTj1ptFjynKzTvJg5xIv5RXds7tio2XsODowCOI74oR9yHeBLOZyvZTQK EeZWaJE+lfJOYP5kuxzwg= -----END SSH SIGNATURE-----
Object name: f40015bfbbcace6622301472a34171082b1fd480
Parent: a7d301ad

Use elan for mathlib

Changes

1 changed files (+2/-1)

ThinkPad-X1-Yoga-Gen-6/default.nix
- @@ -58,7 +58,8 @@
  # dotnet and z3 must be in $PATH dafny dotnet-runtime - lean4 + # mathlib requires elan to download a specific Lean version + elan vscodium z3