GitHub - Peter-H-Meadows/GtMetamath: metamath logic game

BBC iPlayer - Horizon - 1995-1996: Fermats Last Theorem

BBC - Horizon - 1996 - Fermat’s Last Theorem - video Dailymotion