pi-base/viewer

Issues

• Improve parsing

  #49 opened 2 years ago by jamesdabbs
  1

• Add a favicon

  #50 opened 2 years ago by jamesdabbs
  1

• Progress bar scaling

  #55 opened 2 years ago by jamesdabbs
  1

• Fix Slack alerts

  #56 opened 2 years ago by jamesdabbs
  1

• List asserted traits first

  #61 opened 2 years ago by StevenClontz
  1

• redirect topology.jdabbs.com to topology.pi-base.org

  #62 opened 2 years ago by StevenClontz
  3

• Show list of spaces without having to search

  #67 opened 2 years ago by StevenClontz
  1

• Remove `any`s

  #48 opened 2 years ago by jamesdabbs
  0

• Pi-Base for abstract algebra

  #116 opened 3 years ago by FernandoChu
  9

• link to DaRT

  #123 opened 3 years ago by StevenClontz
  0

• Add mathlib as reference

  #118 opened 3 years ago by StevenClontz
  0

• Diagram viewer

  #89 opened 4 years ago by StevenClontz
  0

• Create style guide for contributions

  #28 opened 4 years ago by StevenClontz
  2

• Add info about James to About page

  #29 opened 4 years ago by StevenClontz
  2

• References not showing in web pages

  #72 opened 4 years ago by prabau
  4

• "name" attribute not displayed properly on web pages

  #74 opened 4 years ago by StevenClontz
  1

• Support intrasite tags/links like {P123}

  #63 opened 4 years ago by StevenClontz
  0

• When viewing space/property trait, check if it is removable

  #73 opened 4 years ago by StevenClontz
  0

• Support MO and math.SE questions

  #60 opened 4 years ago by StevenClontz
  2

• Show working branch in navbar (unless master)

  #66 opened 4 years ago by StevenClontz
  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 opened 4 years ago by StevenClontz
  0

• Look up references via database like CrossRef

  #65 opened 4 years ago by StevenClontz
  1

• Display provided reference title in the description, not just e.g. DOI 1234/5678

  #64 opened 4 years ago by StevenClontz
  2

• "A common non-theorem"

  #59 opened 4 years ago by StevenClontz
  0

• Omnisearch

  #54 opened 4 years ago by jamesdabbs
  1

• Mary Ellen Rudin's take on Counterexamples

  #22 opened 8 years ago by StevenClontz
  1

• Elaborate on how folks can join the pi-Base team

  #30 opened 7 years ago by StevenClontz
  1

• Case sensitive filenames break build

  #39 opened 4 years ago by neldredge
  2

• Perfectly normal should not imply T1

  #43 opened 4 years ago by kaba2
  1

• Better defined handling of contradictions during client-side checking

  #47 opened 4 years ago by jamesdabbs
  0

• Improve table sorting

  #52 opened 4 years ago by jamesdabbs
  0

• Improve styling on mobile

  #51 opened 4 years ago by jamesdabbs
  0

• Better branch review tools

  #53 opened 4 years ago by jamesdabbs
  0

• Re-organize query logic

  #46 opened 4 years ago by jamesdabbs
  0

• Support MO and M.SE citations

  #41 opened 4 years ago by StevenClontz
  0

• Port these issues over to pi-base/server

  #42 opened 4 years ago by jamesdabbs
  0

• Basic create / edit support

  #27 opened 4 years ago by jamesdabbs
  1

• Master/user branching UX

  #26 opened 4 years ago by StevenClontz
  0

• When logging in, switch to user branch (or prompt to switch)

  #32 opened 4 years ago by StevenClontz
  0

• Persist descriptions when creating theorems/traits

  #33 opened 4 years ago by StevenClontz
  0

• Properly recurse deductions after trait CRUD

  #34 opened 4 years ago by StevenClontz
  0

• Handle API validation failures

  #35 opened 4 years ago by jamesdabbs
  0

• Fix non-metric continua example link on front page

  #37 opened 4 years ago by StevenClontz
  0

• "Add" button when on master branch

  #38 opened 4 years ago by StevenClontz
  0

• Fix logout link

  #36 opened 4 years ago by StevenClontz
  0

• Multi user editing of branches

  #25 opened 4 years ago by StevenClontz
  0

• Compare sets of common traits

  #24 opened 7 years ago by jamesdabbs
  4

• Link out to DOIs/MRs/Wikipedia

  #23 opened 4 years ago by StevenClontz
  0

• Improve "results are impossible"

  #21 opened 8 years ago by jamesdabbs
  0

• Derive converses where possible

  #20 opened 8 years ago by jamesdabbs
  3