Discussions

• 0 You must be logged in to vote

  📣

  Announcing the ∞-Cosmos Project

  giscus bot announced Sep 18, 2024 in Announcements

  0
• 0 You must be logged in to vote

  📣

  The Fermat's Last Theorem Project

  giscus bot announced May 1, 2024 in Announcements

  

  

  

  

  16
• 0 You must be logged in to vote

  📣

  The first official release of Lean 4

  giscus bot announced Sep 8, 2023 in Announcements

  0
• 0 You must be logged in to vote

  📣

  Formalising cohomology theories

  giscus bot announced Aug 30, 2023 in Announcements

  

  

  1
• 0 You must be logged in to vote

  📣

  My Experience at the Machine-Checked Mathematics workshop

  giscus bot announced Aug 26, 2023 in Announcements

  0
• 0 You must be logged in to vote

  📣

  Modular forms

  giscus bot announced Aug 22, 2023 in Announcements

  0
• 0 You must be logged in to vote

  📣

  Completion of the Liquid Tensor Experiment

  giscus bot announced Aug 4, 2022 in Announcements

  

  

  1