Links shared in the BB5 talk at TYPES 2025

Here find all the links shared in the BB5 talk at TYPES 2025:

• First, the slides
• bbchallenge.org
• Coq-BB5
• Coq-BB5 extracted outputs
• Antihydra and Antihydra wiki page
• Talk and slides given at Formalisation of Mathematics Seminar @ Cambridge with Maja Kądziołka (slides by Maja)
• Quanta magazine BB5 article and video
• Paper:
  • PDF
  • GitHub Repo
  • Feedback Hub