Skip to content

Issues: pi-base/web

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 27 Closed
24 Open 27 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
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

Display all other properties implied by a property
#142 opened Mar 27, 2024 by danflapjax
actions: upload Cypress screenshot artifacts
#138 opened Mar 23, 2024 by StevenClontz
codespaces: set up testing
#137 opened Mar 23, 2024 by StevenClontz
add feature to deprecate spaces/properties (theorems?)
#134 opened Feb 8, 2024 by StevenClontz
1
loading time differences between routes
#130 opened Jan 18, 2024 by StevenClontz
Error 1102 | Worker exceeded resource limits
#115 opened Dec 19, 2023 by StevenClontz
1
add loading spinner and/or skeletons between routes
#112 opened Dec 15, 2023 by StevenClontz
Don't 404 on unknown traits
#102 opened Dec 11, 2023 by StevenClontz
Minor styling changes bug Something isn't working
#98 opened Dec 11, 2023 by jamesdabbs
2 of 3 tasks
@jamesdabbs
Random <thing> button(s)
#92 opened Dec 9, 2023 by jamesdabbs
Add backlinks Mathlib => π-Base lean
#91 opened Dec 9, 2023 by jamesdabbs
URL-based branch changes enhancement New feature or request
#90 opened Dec 9, 2023 by jamesdabbs
1
Copy table as Markdown/LaTeX enhancement New feature or request
#84 opened Nov 17, 2023 by StevenClontz
Reduce derived proofs
#82 opened Nov 13, 2023 by jamesdabbs
2
Support cardinal-valued properties
#62 opened May 16, 2023 by jamesdabbs future
Improved telemetry
#61 opened May 16, 2023 by jamesdabbs
4 tasks
future
Data preview workflow compile
#60 opened May 16, 2023 by jamesdabbs future
Doc cleanups
#59 opened May 16, 2023 by jamesdabbs
1 task done
v1
1
Svelte testing viewer
#57 opened May 16, 2023 by jamesdabbs v1
Sentry release sourcemaps viewer
#56 opened May 16, 2023 by jamesdabbs v1
Invite contributions
#55 opened May 16, 2023 by jamesdabbs
6 tasks
v1
Flip topology.pi-base.org to point to Cloudflare pages
#53 opened May 16, 2023 by jamesdabbs
1 of 6 tasks
prerelease
@StevenClontz
2
Consider using [an extension of] SpaTeXt
#16 opened Apr 2, 2023 by StevenClontz future
VS Code plugin
#5 opened Mar 6, 2023 by StevenClontz
5 tasks
future
ProTip! Follow long discussions with comments:>50.