ImperialCollegeLondon's tracked open-source repos, sorted by stars.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
