issues
search
Carnap
/
Carnap-Documentation
Documentation for Carnap
GNU General Public License v3.0
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix small typo in gentzen-ND.md
#21
OliveiraHermogenes
closed
2 years ago
1
Semantic Tableaux/Truth Trees Documentation
#20
gleachkr
opened
3 years ago
0
LTI integration
#19
rzach
opened
3 years ago
0
Server administration
#18
rzach
opened
3 years ago
0
Server configuration
#17
rzach
opened
3 years ago
3
Deploying Carnap
#16
rzach
opened
3 years ago
0
Developer documentation
#15
rzach
opened
3 years ago
0
Installation quick-start guide
#14
rzach
opened
3 years ago
10
Documentation for building and administering servers
#13
rzach
opened
3 years ago
0
Documentation on separate servers
#12
rzach
opened
3 years ago
2
Document set theory systems
#11
rzach
opened
3 years ago
1
Email link
#10
rzach
closed
3 years ago
2
Can doc files be downloaded?
#9
rzach
closed
3 years ago
1
AllenSL
#8
loighic
closed
3 years ago
3
Automatic updating broken?
#7
rzach
closed
4 years ago
5
fix dead link to administrator.md by renaming it
#6
lf-
closed
4 years ago
0
Document all proof systems
#5
rzach
opened
4 years ago
1
Fix a misinterpreted list (GFM vs Pandoc difference)
#4
lf-
closed
4 years ago
0
Need to adjust links after rename
#3
gleachkr
closed
4 years ago
5
Write admin docs
#2
lf-
closed
4 years ago
0
Implement auto-update from documentation repo
#1
rzach
closed
4 years ago
11