@fcago.eth

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

0 reply

1 recast

1 reaction