diff options
| author | Anthony Wang | 2025-04-20 14:05:42 -0400 |
|---|---|---|
| committer | Anthony Wang | 2025-04-20 14:05:42 -0400 |
| commit | 1967d63eda9a11a6d2f61c8f48daaa0a35fa3c58 (patch) | |
| tree | 1e6f2882d076c7f649286253cd96e4678968a1ef | |
| parent | 2a1b4d8a11952af3c655d91992a5b62f936c38a4 (diff) | |
Apparently we're doing Lean now
| -rw-r--r-- | ThinkPad-X1-Yoga-Gen-6/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ThinkPad-X1-Yoga-Gen-6/default.nix b/ThinkPad-X1-Yoga-Gen-6/default.nix index 8cb2f35..b4c624a 100644 --- a/ThinkPad-X1-Yoga-Gen-6/default.nix +++ b/ThinkPad-X1-Yoga-Gen-6/default.nix @@ -52,9 +52,10 @@ texliveSmall uv - # Dafny stuff + # Formal verification dafny dotnet-runtime + lean4 vscodium z3 |