We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
update and expand information about the project led by Kevin Buzzard and Richard Taylor
lean4 link
more visible progress
typo, contribs
Updated Fermat's Last Theorem (markdown)
expand Buzzard plans
mention Kevin Buzzard grant
add word formal
another little project: equivalences
collect a few tidbits from the mailing list