Discussions

• 0 You must be logged in to vote

  📣

  Tradeoffs of defining types as subobjects

  giscus bot announced Jan 13, 2026 in Announcements

  0
• 0 You must be logged in to vote

  📣

  Simp, made simple.

  giscus bot announced Dec 2, 2025 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

  

  

  

  

  19
• 0 You must be logged in to vote

  📣

  Simprocs for the Working Mathematician

  giscus bot announced May 27, 2025 in Announcements

  

  

  2
• 0 You must be logged in to vote

  📣

  Simons Foundation Lean Workshop

  giscus bot announced Aug 12, 2025 in Announcements

  0
• 0 You must be logged in to vote

  📣

  Durham Computational Algebraic Geometry Workshop

  giscus bot announced Apr 17, 2025 in Announcements

  0
• 0 You must be logged in to vote

  📣

  About

  giscus bot announced Dec 6, 2024 in Announcements

  0
• 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 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