pi-base/server

Issues

• Cardinality at most beth 2

  #19 opened 5 years ago by tomaszrz1
  1

• Website is down

  #20 opened 5 years ago by diracdeltafunk
  1

• searching spaces

  #18 opened 5 years ago by StevenClontz
  0

• searching theorems

  #17 opened 5 years ago by StevenClontz
  0

• fix branch merge to not delete new theorems

  #16 opened 5 years ago by StevenClontz
  0

• Cannot connect new GitHub users

  #15 opened 5 years ago by StevenClontz
  0

• show more theorems

  #14 opened 5 years ago by StevenClontz
  0

• Supported Domains

  #13 opened 5 years ago by StevenClontz
  0

• Visualize git diff

  #10 opened 5 years ago by StevenClontz
  0

• Handle rejected PR

  #8 opened 5 years ago by StevenClontz
  0

• branch forward/behind info

  #7 opened 5 years ago by StevenClontz
  0

• Pushing to production

  #12 opened 6 years ago by StevenClontz
  2

• Hide edit banner unless logged in

  #11 opened 6 years ago by StevenClontz
  1

• jumbotron component

  #5 opened 6 years ago by StevenClontz
  1

• Add related theorem button shows when on master

  #2 opened 6 years ago by StevenClontz
  0

• Login issues

  #1 opened 6 years ago by StevenClontz
  1