gleachkr Carnap-Old issues

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser

http://gleachkr.github.io/Carnap/

GNU General Public License v3.0

3 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

More Metadata for ShowThis

#39 gleachkr opened 9 years ago
0
JSON for ShowThis URL

#38 gleachkr opened 9 years ago
1
Selectable output

#37 davidfaraci closed 9 years ago
2
Predicate Logic

#36 davidfaraci closed 9 years ago
7
Problems with Sequent Display

#35 davidfaraci closed 9 years ago
3
Write a whitespace agnostic parser.

#34 gleachkr opened 9 years ago
0
Add a greater variety of inference rules to FOLbox

#33 gleachkr opened 9 years ago
0
Derivation column css

#32 gleachkr opened 9 years ago
0
"Show This" Webapp.

#31 gleachkr closed 9 years ago
8
Limit continous update

#30 gleachkr opened 9 years ago
1
Optimize prooftree parser

#29 gleachkr closed 9 years ago
3
Make a webapp that generates worksheets from query strings

#28 gleachkr closed 9 years ago
5
Make Prooftree parser less neurotic

#27 gleachkr closed 9 years ago
13
Certain substitutions containing function symbols aren't found

#26 gleachkr closed 9 years ago
0
License

#25 gleachkr closed 9 years ago
0
Store user's variable name in quantifier object

#24 JakeEhrlich closed 9 years ago
0
Kalish and Montegue Systems

#23 gleachkr opened 9 years ago
0
FOL matching not working correctly

#22 JakeEhrlich closed 9 years ago
1
Restructure for Distribution on Hackage

#21 gleachkr opened 9 years ago
0
First Order Logic Random Theorem Generator

#20 gleachkr opened 9 years ago
0
Propositional Logic Random Theorem Generation

#19 gleachkr opened 9 years ago
2
Modal Logic

#18 gleachkr opened 9 years ago
0
Truth-Table builder

#17 gleachkr opened 9 years ago
0
Tree-View on proofs

#16 gleachkr opened 9 years ago
2
Algorithm watching monad

#15 gleachkr opened 9 years ago
0
CLI

#14 gleachkr closed 9 years ago
8
Blockly interface

#13 gleachkr opened 9 years ago
0
Editor improvements

#12 gleachkr opened 9 years ago
1
Pandoc filter

#11 gleachkr closed 9 years ago
1
FOL countermodels

#10 gleachkr opened 9 years ago
0
Help popup

#9 gleachkr closed 9 years ago
1
Cleanup

#8 gleachkr opened 9 years ago
1
Documentation on Github

#7 gleachkr closed 9 years ago
1
Webpage

#6 gleachkr closed 9 years ago
1
Internal Documentation

#5 gleachkr opened 9 years ago
0
Improve sequent datatypes

#4 gleachkr opened 9 years ago
0
First Order Logic

#3 gleachkr closed 9 years ago
3
Improve parser

#2 gleachkr closed 9 years ago
1
Basic research on new abstract syntax

#1 gleachkr opened 9 years ago
1