Discussions

• 1 You must be logged in to vote

  📣

  pi-Base community call Thu 2024 May 2 at 3pm Eastern

  StevenClontz announced Apr 11, 2024 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  pi-Base community call Thu 2024 Apr 11 3pm Eastern

  prabau announced Mar 21, 2024 in Announcements

  

  

  3
• 1 You must be logged in to vote

  🙌

  Submission to JOSS - the Journal of Open Source Software

  StevenClontz started Apr 2, 2024 in Show and tell

  

  

  

  

  13
• 1 You must be logged in to vote

  📣

  pi-Base Community Call Thu 2024 March 21 2pm Eastern

  StevenClontz announced Feb 8, 2024 in Announcements

  

  

  

  

  9
• 1 You must be logged in to vote

  💬

  pi-Base workshop Saturday at STDC

  StevenClontz started Mar 7, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Euclidean subspace property

  StevenClontz started Jun 3, 2023 in Ideas

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  Toggle missing and known traits for properties and spaces

  marswill started Feb 6, 2024 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  📣

  pi-Base community call Thu 2024 Feb 8 3pm Eastern

  StevenClontz announced Jan 18, 2024 in Announcements

  

  

  1
• 1 You must be logged in to vote

  💡

  Homepage example theorem

  StevenClontz started Feb 2, 2024 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💬

  Topological spaces among US

  StevenClontz started Oct 3, 2023 in General

  

  

  

  

  33
• 1 You must be logged in to vote

  💡

  An idea to optimize and simplify proofs.

  marswill started Jan 23, 2024 in Ideas

  

  

  3
• 1 You must be logged in to vote

  🙌

  More feedback on the updated topology.pages.dev

  prabau started Dec 17, 2023 in Show and tell

  

  

  13
• 1 You must be logged in to vote

  📣

  pi-Base community call Thu 2024 Jan 18 3pm Eastern

  StevenClontz announced Dec 15, 2023 in Announcements

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  Canonical naming of compactly-generated-related properties

  StevenClontz started Jan 17, 2024 in Ideas

  

  

  

  

  14
• 1 You must be logged in to vote

  📣

  Near-automatic local previews of changes to data

  StevenClontz announced Dec 23, 2023 in Announcements

  

  

  1
• 1 You must be logged in to vote

  📣

  Redesigned Topology.pi-Base.org is live!

  StevenClontz announced Dec 22, 2023 in Announcements

  

  

  0
• 1 You must be logged in to vote

  🙌

  Check out the updated topology.pages.dev

  StevenClontz started Nov 9, 2023 in Show and tell · Closed

  

  

  

  

  36
• 1 You must be logged in to vote

  📣

  Community Call Fri Dec 15 at 12noon Eastern

  StevenClontz announced Nov 3, 2023 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💡

  Issue templates

  StevenClontz started Dec 13, 2023 in Ideas

  

  

  0
• 3 You must be logged in to vote

  💡

  "Open questions" feature?

  hew-wolff started Dec 11, 2023 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  💡

  Optimization of pi-base deduction engine

  prabau started Jun 2, 2023 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  📣

  New code4math community and Zulip chat

  StevenClontz announced Dec 9, 2023 in Announcements

  

  

  3
• 1 You must be logged in to vote

  💡

  Integration of pi-Base and Lean

  StevenClontz started Nov 10, 2023 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Formalising CounterExamples in Topology

  Shraze97 started Dec 6, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  📣

  Community Call Fri Nov 3 at 12noon Eastern

  StevenClontz announced Sep 26, 2023 in Announcements

  

  

  

  

  18