Algebraic number theorist, Imperial College London, colourful trousers, currently working on a Lean proof of Fermat's Last Theorem. Proudly funded by EPSRC, part of UKRI.
kbuzzard / mathlib-tools Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
License: Apache License 2.0