Search results

Logical Independence

Status: Open.

#234 In pi-base/web;

· mathmaster13 opened on Feb 24, 2026

Reverse Search

Status: Open.

#230 In pi-base/web;

· plp127 opened on Sep 29, 2025

List of properties in alphabetical order

Status: Open.

#229 In pi-base/web;

· prabau opened on Sep 22, 2025

Publish compiled data to GitHub as well as cloud

Status: Open.

#227 In pi-base/web;

· StevenClontz opened on Jul 7, 2025

Some {Pxxx} links are not working

Status: Open.

#221 In pi-base/web;

· prabau opened on May 16, 2025

Space filling curve colors

Status: Open.

#216 In pi-base/web;

· StevenClontz opened on Feb 4, 2025

Space comparison

Status: Open.

#214 In pi-base/web;

· pzjp opened on Dec 26, 2024

Search by space name not working properly

Status: Open.

#212 In pi-base/web;

· prabau opened on Dec 18, 2024

Allow user to display equivalent formulations of theorems.

Status: Open.

#209 In pi-base/web;

· StevenClontz opened on Dec 12, 2024

Buggy ?property formula

Status: Open.

#205 In pi-base/web;

· StevenClontz opened on Dec 9, 2024

Dark Mode support

Status: Open.

#204 In pi-base/web;

· kaba2 opened on Dec 7, 2024

uncaught compile error

Status: Open.

#200 In pi-base/web;

· StevenClontz opened on Nov 30, 2024