Top
evolution
4749b919
evolution
The evolution of a Lean programmer
Summary
Refs
Commits
Files
Oh don't need to import Std apparently
Changes
1 changed files (+0/-1)
Imperative.lean
@@ -1,4 +1,3 @@
-
import Std.Tactic.Do
import Mathlib.Algebra.Order.Group.Nat
variable [LinearOrder α] (A : Array α)
Authored by
Anthony Wang
Authored at
2026-01-23 13:16:21 -0500
Committed by
Anthony Wang
Committed at
2026-01-23 13:16:21 -0500
Signature
View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQN4ahniC0LQz2yZ1n0ZCOsLgAzhmko94fq2Tm7RjtqA6GoDz6NXJLMA3od9JKv2O+d oz0OmhcrduoLy744ISDAs= -----END SSH SIGNATURE-----
Object name
4749b9192a327dd502803e1d1274d87eff55d8fa
Parent
9baf7fc0