Skip to content
This repository has been archived by the owner on Dec 6, 2024. It is now read-only.

Issues: pi-base/viewer

21 Open 48 Closed
21 Open 48 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

link to DaRT
#123 opened Mar 16, 2022 by StevenClontz
Add mathlib as reference
#118 opened Jan 10, 2022 by StevenClontz
Pi-Base for abstract algebra
#116 opened Oct 8, 2021 by FernandoChu
9
Diagram viewer
#89 opened Dec 9, 2020 by StevenClontz
When viewing space/property trait, check if it is removable
#73 opened Oct 19, 2020 by StevenClontz
List of theorems for a property don't match the list of theorems on the theorems page when you search for said property
#68 opened Sep 25, 2020 by StevenClontz
Look up references via database like CrossRef
#65 opened Sep 15, 2020 by StevenClontz
1
Display provided reference title in the description, not just e.g. DOI 1234/5678
#64 opened Sep 15, 2020 by StevenClontz
2
"A common non-theorem"
#59 opened Aug 31, 2020 by StevenClontz
Omnisearch enhancement
#54 opened Jun 7, 2020 by jamesdabbs
1
Better branch review tools enhancement
#53 opened Jun 7, 2020 by jamesdabbs
Improve table sorting enhancement
#52 opened Jun 7, 2020 by jamesdabbs
Improve styling on mobile enhancement
#51 opened Jun 7, 2020 by jamesdabbs
@StevenClontz
Better defined handling of contradictions during client-side checking cleanup
#47 opened Jun 7, 2020 by jamesdabbs
Re-organize query logic cleanup
#46 opened Jun 7, 2020 by jamesdabbs
Elaborate on how folks can join the pi-Base team cleanup
#30 opened Dec 14, 2017 by StevenClontz MVP
1
Compare sets of common traits enhancement
#24 opened Oct 21, 2017 by jamesdabbs
4
Mary Ellen Rudin's take on Counterexamples cleanup
#22 opened May 19, 2017 by StevenClontz MVP
@StevenClontz
1
Theorem exploration enhancement
#14 opened Mar 2, 2017 by jamesdabbs
1
Relationships between spaces enhancement wishlist
#13 opened Mar 2, 2017 by jamesdabbs
1
Add global filters enhancement
#4 opened Feb 18, 2017 by jamesdabbs
3
ProTip! What’s not been updated in a month: updated:<2024-11-20.