Issues

Add IDs to reference list
pi-base/web#261 · opened on Jul 22, 2026
Support comparing pairs/mults of objects
pi-base/web#260 · opened on Jul 18, 2026
Logical Independence
pi-base/web#234 · opened on Feb 24, 2026
6
Reverse Search
pi-base/web#230 · opened on Sep 29, 2025
List of properties in alphabetical order
pi-base/web#229 · opened on Sep 22, 2025
3
Publish compiled data to GitHub as well as cloud
pi-base/web#227 · opened on Jul 7, 2025
Some {Pxxx} links are not working
pi-base/web#221 · opened on May 16, 2025
3
Space filling curve colors
pi-base/web#216 · opened on Feb 4, 2025
Space comparison
pi-base/web#214 · opened on Dec 26, 2024
1
Search by space name not working properly
pi-base/web#212 · opened on Dec 18, 2024
Allow user to display equivalent formulations of theorems.
pi-base/web#209 · opened on Dec 12, 2024
Buggy ?property formula
pi-base/web#205 · opened on Dec 9, 2024
3
Dark Mode support
pi-base/web#204 · opened on Dec 7, 2024
1
uncaught compile error
pi-base/web#200 · opened on Nov 30, 2024
3
feat: Do we need a smarter SAT solver?
pi-base/web#199 · opened on Nov 29, 2024
2
bug(editor): infinite loop in empty externalLink
pi-base/web#198 · opened on Nov 29, 2024
DRY up trait naming
pi-base/web#195 · opened on Nov 22, 2024
1
Insert "name" of reference when using a {{tag:id}} in a description.
pi-base/web#191 · opened on Nov 9, 2024
2
Aliases in list of theorem counterexamples make the list too "busy"
pi-base/web#188 · opened on Nov 3, 2024
1
Caching of pi-Base data
pi-base/web#183 · opened on Oct 29, 2024
set up codespace to automatically lint upon save
pi-base/web#165 · opened on Sep 6, 2024
Support notation and keywords fields for spaces/properties?
pi-base/web#159 · opened on Jun 13, 2024
6
Display all other properties implied by a property
pi-base/web#142 · opened on Mar 27, 2024
actions: upload Cypress screenshot artifacts
pi-base/web#138 · opened on Mar 23, 2024
1
codespaces: set up testing
pi-base/web#137 · opened on Mar 23, 2024