If you’re into math, it’s worth subscribing to notifications for this repo: https://github.com/ImperialCollegeLondon/FLT It’s incredibly cool to see the formalization of the proof of Fermat’s Last Theorem, PR-by-PR