Discussions

• 1 You must be logged in to vote

  💡

  abstract and opaque in the module declaration

  computational-behavior

  fredrik-bakke started Oct 29, 2025 in Ideas

  

  

  5
• 2 You must be logged in to vote

  💬

  Alignment of by clauses in reasoning syntax

  VojtechStep started Oct 24, 2025 in General

  

  

  

  

  6
• 1 You must be logged in to vote

  💡

  Proposing a community goal to formalize a synthetic rational homotopy theory

  djspacewhale started Jul 28, 2025 in Ideas · Closed

  

  

  0
• 1 You must be logged in to vote

  🙏

  Naming higher order associators and inverse laws

  fredrik-bakke asked Mar 30, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Should equality proofs in elementary-number-theory be abstracted?

  elementary-number-theory computational-behavior

  fredrik-bakke started Mar 30, 2024 in General · Closed

  

  

  0
• 3 You must be logged in to vote

  💬

  Full Width Links In Sidebar

  website

  fweth started Mar 16, 2024 in General

  

  

  

  

  2