Post #1366389
2023-07-15 20:36 UTC
One file to go before the main phase of the port of mathlib from lean 3 to lean 4 is complete!
Replies (1)
-
@highergeometer@mathstodon.xyz 2023-07-15 23:46
@xenaproject And it's done!
2023-07-15 20:36 UTC
@xenaproject And it's done!