A Lean Formalisation of Fermat's Last Theorem

2 points | by bcye 3 days ago