Categories

• announcement
• Announcements
• Community projects
• Design patterns
• Interviews
• mathport
• meeting report
• Metaprogramming
• month-in-mathlib
• New in mathlib
• overview
• Papers
• project announcement
• Tutorial

Tags

• algebraic geometry
• backstage
• meta
• simp
• simproc
• Toric
• ∞-Cosmos