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

27 Open 36 Closed
27 Open 36 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

Insert "name" of reference when using a {{tag:id}} in a description.
#191 opened Nov 9, 2024 by StevenClontz
@Not-Abram
2
Aliases in list of theorem counterexamples make the list too "busy"
#188 opened Nov 3, 2024 by prabau
1
External markdown enhancements
#184 opened Oct 29, 2024 by StevenClontz
3 of 4 tasks
@Not-Abram
3
Caching of pi-Base data
#183 opened Oct 29, 2024 by StevenClontz
set up codespace to automatically lint upon save
#165 opened Sep 6, 2024 by StevenClontz
Support notation and keywords fields for spaces/properties?
#159 opened Jun 13, 2024 by StevenClontz
6
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
@jamesdabbs
1
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
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
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.