issues
search
Tenari
/
proofs
A ruby on rails app for structured argument
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
timestamps look bad
#22
Tenari
opened
7 years ago
0
need username/byline in the root theorem card
#21
Tenari
opened
7 years ago
0
float byline bug
#20
Tenari
opened
7 years ago
0
make byline username clickable
#19
Tenari
closed
7 years ago
0
make "I object!" not just go to Facebook
#18
Tenari
closed
7 years ago
1
make "all" switch work on theorems search page
#17
Tenari
closed
7 years ago
0
notifications
#16
Tenari
opened
7 years ago
0
user page
#15
Tenari
closed
7 years ago
1
follow other users?
#14
Tenari
opened
7 years ago
0
need /new_theorems feed
#13
Tenari
opened
7 years ago
0
markdown in theorems, not just comments
#12
Tenari
opened
7 years ago
0
need up / down buttons on arguments
#11
Tenari
opened
7 years ago
0
add new-theorem link to user name dropdown in top right corner
#10
Tenari
closed
7 years ago
0
unituitive ui
#9
Tenari
opened
7 years ago
0
Comments should be AJAXed
#8
jonweszap
closed
7 years ago
0
breadcrumb trail
#7
jonweszap
closed
7 years ago
0
Friendly forwarding
#6
jonweszap
closed
7 years ago
0
Need an explanation of what "root" means
#5
jonweszap
closed
7 years ago
0
sexy url scheme
#4
Tenari
opened
7 years ago
1
make a distinction between root theorems and supporting theorems
#3
Tenari
opened
7 years ago
1
make ui nice
#2
Tenari
closed
7 years ago
1
need way to categorize or tag theorems
#1
Tenari
opened
7 years ago
0