pi-base/web

Issues

• Add sync button to footer of every page

  #176 opened 3 months ago by StevenClontz
  2

• StackExchange post helper

  #173 opened 3 months ago by StevenClontz
  1

• Fix copy citation button

  #162 opened 6 months ago by StevenClontz
  4

• All builds are currently failing!

  #167 opened 4 months ago by prabau
  2

• be better about re-syncing data automatically

  #166 opened 4 months ago by StevenClontz
  0

• actions: upload Cypress screenshot artifacts

  #138 opened 9 months ago by StevenClontz
  1

• set up codespace to automatically lint upon save

  #165 opened 4 months ago by StevenClontz
  0

• Support `notation` and `keywords` fields for spaces/properties?

  #159 opened 6 months ago by StevenClontz
  6

• Error 1102 | Worker exceeded resource limits

  #115 opened 7 months ago by StevenClontz
  3

• Flip `topology.pi-base.org` to point to Cloudflare pages

  #53 opened 7 months ago by jamesdabbs
  3

• Minor styling changes

  #98 opened 7 months ago by jamesdabbs
  0

• Incorrect browser title when navigating between properties

  #156 opened 7 months ago by prabau
  5

• Latex not expanded in list of references for various pages

  #152 opened 7 months ago by prabau
  0

• Incorrect browser page titles for theorems when going to References or Converse

  #150 opened 8 months ago by prabau
  0

• Display all other properties implied by a property

  #142 opened 9 months ago by danflapjax
  0

• Issues with trailing slashes in routes

  #135 opened 9 months ago by marswill
  1

• codespaces: set up testing

  #137 opened 9 months ago by StevenClontz
  0

• add feature to deprecate spaces/properties (theorems?)

  #134 opened a year ago by StevenClontz
  1

• loading time differences between routes

  #130 opened a year ago by StevenClontz
  0

• Restore `compile` action CI/CD

  #54 opened a year ago by jamesdabbs
  0

• Data devcontainer: load from local compiler

  #116 opened a year ago by jamesdabbs
  0

• add ` ` to formula string render

  #107 opened a year ago by StevenClontz
  0

• add loading spinner and/or skeletons between routes

  #112 opened a year ago by StevenClontz
  0

• Transition `topology.pi-base.org` to this viewer

  #109 opened a year ago by StevenClontz
  1

• Automatic deduction of converses

  #72 opened a year ago by StevenClontz
  3

• Update deduced filter toggle label

  #101 opened a year ago by jamesdabbs
  0

• Don't 404 on unknown traits

  #102 opened a year ago by StevenClontz
  0

• Expand math in `{...}` reference names

  #95 opened a year ago by jamesdabbs
  1

• navigating back to `/spaces`

  #77 opened a year ago by StevenClontz
  1

• URL-based branch changes

  #90 opened a year ago by jamesdabbs
  1

• Random <thing> button(s)

  #92 opened a year ago by jamesdabbs
  0

• Add backlinks Mathlib => π-Base

  #91 opened a year ago by jamesdabbs
  0

• Display of {S#|P#} reference

  #79 opened a year ago by StevenClontz
  1

• Copy table as Markdown/LaTeX

  #84 opened a year ago by StevenClontz
  0

• Reduce derived proofs

  #82 opened a year ago by jamesdabbs
  2

• Syntax for referring to a specific property in a specific space

  #66 opened a year ago by prabau
  4

• ? indicator for search function

  #70 opened a year ago by ccaruvana
  3

• Evaluate sveltekit

  #58 opened a year ago by jamesdabbs
  0

• fix filter on property lists for spaces

  #68 opened a year ago by StevenClontz
  0

• consider linking directly to properties in space/property list

  #67 opened a year ago by StevenClontz
  0

• Brittle branch changing

  #65 opened a year ago by StevenClontz
  0

• ? indicator for search function

  #69 opened a year ago by ccaruvana
  0

• Doc cleanups

  #59 opened 2 years ago by jamesdabbs
  1

• https://topology.pages.dev/properties hangs

  #64 opened 2 years ago by StevenClontz
  1

• Support cardinal-valued properties

  #62 opened 2 years ago by jamesdabbs
  0

• Improved telemetry

  #61 opened 2 years ago by jamesdabbs
  0

• Sentry release sourcemaps

  #56 opened 2 years ago by jamesdabbs
  0

• Svelte testing

  #57 opened 2 years ago by jamesdabbs
  0

• Data preview workflow

  #60 opened 2 years ago by jamesdabbs
  0

• Invite contributions

  #55 opened 2 years ago by jamesdabbs
  0