We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Cayley-Hamilton is done
add a comment that I'm working on sheaves which I want to land in mathlib
Updated Potential projects (markdown)
musing about workflow
Adding Chris' PR
Perfectoids are not done yet but I believe fit the bill of "we'd like to see in Lean, and not too hard"
adding link to MO question
updating number theory
Adding link to Keji Neri proof that det(AB)=det(A)det(B)
adding Kenny tensor product link
adding more precise ref
link to Reid's repo
adding Cayley-Hamilton
added some Noetherian stuff
typo
adding more Imperial student links
Updated Projects (markdown)