One file to go before the main phase of the port of mathlib from lean 3 to lean 4 is complete!
Kevin Buzzard
@xenaproject@mathstodon.xyz
Mathematician at Imperial College in London. Interested in number theory and theorem provers.
mathstodon.xyz
Kevin Buzzard
@xenaproject@mathstodon.xyz
Mathematician at Imperial College in London. Interested in number theory and theorem provers.
mathstodon.xyz
@xenaproject@mathstodon.xyz
·
Jul 15, 2023
21
1
4
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...