issues
search
pi-base
/
viewer
Web UI for the π-Base
https://topology.pi-base.org
MIT License
9
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Svelte deduction
#83
jamesdabbs
closed
4 years ago
0
Set up CI/CD
#82
jamesdabbs
closed
4 years ago
0
Display and search spaces
#81
jamesdabbs
closed
4 years ago
0
Extract domain models
#80
jamesdabbs
closed
4 years ago
0
Add (asserted) traits
#79
jamesdabbs
closed
4 years ago
0
Implement related tabs on show pages
#78
jamesdabbs
closed
4 years ago
0
Add example widget to dev editor page
#77
jamesdabbs
closed
4 years ago
0
Implement initial theorem pages
#76
jamesdabbs
closed
4 years ago
0
Implement initial Svelte app
#75
jamesdabbs
closed
1 year ago
3
"name" attribute not displayed properly on web pages
#74
StevenClontz
closed
4 years ago
1
When viewing space/property trait, check if it is removable
#73
StevenClontz
opened
4 years ago
0
References not showing in web pages
#72
prabau
closed
4 years ago
4
Support intra-site links. Fixes #63
#71
jamesdabbs
closed
4 years ago
0
Display MathSE and MO references #60
#70
jamesdabbs
closed
4 years ago
1
Add visual indication when on non-main branches #66
#69
jamesdabbs
closed
4 years ago
0
List of theorems for a property don't match the list of theorems on the theorems page when you search for said property
#68
StevenClontz
opened
4 years ago
0
Show list of spaces without having to search
#67
StevenClontz
closed
1 year ago
1
Show working branch in navbar (unless master)
#66
StevenClontz
closed
4 years ago
0
Look up references via database like CrossRef
#65
StevenClontz
opened
4 years ago
1
Display provided reference title in the description, not just e.g. DOI 1234/5678
#64
StevenClontz
opened
4 years ago
2
Support intrasite tags/links like {P123}
#63
StevenClontz
closed
4 years ago
0
redirect topology.jdabbs.com to topology.pi-base.org
#62
StevenClontz
closed
1 year ago
3
List asserted traits first
#61
StevenClontz
closed
1 year ago
1
Support MO and math.SE questions
#60
StevenClontz
closed
4 years ago
2
"A common non-theorem"
#59
StevenClontz
opened
4 years ago
0
Bump elliptic from 6.5.2 to 6.5.3
#58
dependabot[bot]
closed
4 years ago
0
Fix typo on homepage
#57
fkastner
closed
4 years ago
0
Fix Slack alerts
#56
jamesdabbs
closed
1 year ago
1
Progress bar scaling
#55
jamesdabbs
closed
1 year ago
1
Omnisearch
#54
jamesdabbs
opened
4 years ago
1
Better branch review tools
#53
jamesdabbs
opened
4 years ago
0
Improve table sorting
#52
jamesdabbs
opened
4 years ago
0
Improve styling on mobile
#51
jamesdabbs
opened
4 years ago
0
Add a favicon
#50
jamesdabbs
closed
1 year ago
1
Improve parsing
#49
jamesdabbs
closed
1 year ago
1
Remove `any`s
#48
jamesdabbs
closed
1 year ago
0
Better defined handling of contradictions during client-side checking
#47
jamesdabbs
opened
4 years ago
0
Re-organize query logic
#46
jamesdabbs
opened
4 years ago
0
Bump websocket-extensions from 0.1.3 to 0.1.4
#45
dependabot[bot]
closed
4 years ago
0
Bump acorn from 5.7.3 to 5.7.4
#44
dependabot[bot]
closed
4 years ago
2
Perfectly normal should not imply T1
#43
kaba2
closed
4 years ago
1
Port these issues over to pi-base/server
#42
jamesdabbs
closed
4 years ago
0
Support MO and M.SE citations
#41
StevenClontz
closed
4 years ago
0
Rename Index.tsx files to index.tsx so they can be found on case-sensitive systems
#40
neldredge
closed
4 years ago
0
Case sensitive filenames break build
#39
neldredge
closed
4 years ago
2
"Add" button when on master branch
#38
StevenClontz
closed
4 years ago
0
Fix non-metric continua example link on front page
#37
StevenClontz
closed
4 years ago
0
Fix logout link
#36
StevenClontz
closed
4 years ago
0
Handle API validation failures
#35
jamesdabbs
closed
4 years ago
0
Properly recurse deductions after trait CRUD
#34
StevenClontz
closed
4 years ago
0
Previous
Next