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

[prabau]

Agenda:

• reorganize/style space/property table web#114
• New property: Continuum #612
• Eliminating unused properties #626

Zoom link: https://southalabama.zoom.us/j/93833246214

[StevenClontz]

make filter on space/related full width on small viewports...

[StevenClontz]

will try web#114 out for a few weeks at least

[StevenClontz]

#612 - we will introduce just (hausdorff) continuum to start with.