A Lean Formalisation of Fermat's Last Theoremgithub.com2 points·bcye··0 commentsOpen articleSaveView on HN