issues
search
LeePatPat
/
NatDud
System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
MIT License
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Changing the subtitle to something more suitable
#11
LeePatPat
closed
5 months ago
0
Bump debug from 2.6.8 to 2.6.9
#10
dependabot[bot]
opened
1 year ago
0
Bump shell-quote from 1.6.1 to 1.8.1
#9
dependabot[bot]
opened
1 year ago
0
Bump hawk and fsevents
#8
dependabot[bot]
opened
1 year ago
0
Bump minimatch from 3.0.4 to 3.1.2
#7
dependabot[bot]
opened
1 year ago
0
Bump decode-uri-component from 0.2.0 to 0.2.2
#6
dependabot[bot]
opened
1 year ago
0
Bump jquery from 3.2.1 to 3.5.0
#5
dependabot[bot]
opened
3 years ago
0
¬(X→X)→Y is a WFF but is rejected anyway
#4
LeePatPat
opened
6 years ago
1
change treeToFormula(tree, opNum) to treeToFormula(tree)
#3
LeePatPat
opened
6 years ago
0
Support for Falsum
#2
LeePatPat
closed
6 years ago
1
Proof Generator can be replaced with Proof Validator
#1
LeePatPat
closed
6 years ago
1