Discussions

• 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
• 3 You must be logged in to vote

  🙌

  Preprint illustrating the use of pi-Base to investigate T1-not-T2 properties

  StevenClontz started Sep 4, 2023 in Show and tell

  

  

  

  

  15
• 1 You must be logged in to vote

  💬

  Easier way to update master against main

  StevenClontz started Sep 29, 2023 in General

  

  

  0
• 2 You must be logged in to vote

  💡

  adding examples to deduced non properties

  chadnash started Sep 26, 2023 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  can we reproduce/synthesize proofs of non properties

  chadnash asked Sep 26, 2023 in Q&A · Closed · Answered

  

  

  

  

  3
• 2 You must be logged in to vote

  📣

  Community Call Fri Sep 15 at 12noon Eastern

  StevenClontz announced Sep 7, 2023 in Announcements

  

  

  5
• 1 You must be logged in to vote

  💬

  New time for community meetings?

  StevenClontz started Sep 4, 2023 in General

  

  

  

  

  8
• 1 You must be logged in to vote

  📣

  Community Meeting 2023 Aug 18

  StevenClontz announced Jul 25, 2023 in Announcements

  

  

  

  

  7
• 2 You must be logged in to vote

  📣

  Community Meeting July 21 4pm Eastern

  StevenClontz announced Jun 23, 2023 in Announcements

  

  

  

  

  6
• 1 You must be logged in to vote

  📣

  Community Meeting June 23

  StevenClontz announced Jun 3, 2023 in Announcements

  

  

  

  

  14
• 1 You must be logged in to vote

  🙌

  Preview of updated pi-base viewer app

  StevenClontz started Jun 3, 2023 in Show and tell

  

  

  

  

  6
• 1 You must be logged in to vote

  💡

  Contributing and reviewing guidelines

  StevenClontz started Jun 3, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  📣

  Community Meeting 2023 June 02

  StevenClontz announced Apr 21, 2023 in Announcements

  

  

  

  

  14