gauravmm Navelgazer issues - Githubissues

gauravmm / Navelgazer

Linter for first-order logic

http://navelgazer.gauravmanek.com/

MIT License

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Existential Instantiation Rules

#14 beachtrees opened 4 years ago
1
Line numbers sorted lexicographically instead of numerically.

#13 david-boles opened 4 years ago
1
Add reverses for De Morgan's Laws

#12 david-boles closed 4 years ago
0
Incorrect decomposition of conditionals?

#11 david-boles opened 4 years ago
1
Fixes #9

#10 gauravmm closed 5 years ago
0
TF line reference number is incorrect.

#9 gauravmm closed 5 years ago
0
Update CNAME

#8 gauravmm closed 7 years ago
0
Fix for potential future bug.

#7 gauravmm closed 8 years ago
0
Fixes requested by Prof. Heck

#6 gauravmm closed 8 years ago
0
Change parenthesis requirements for quantifiers.

#5 gauravmm closed 8 years ago
0
Deferred expression matching in `metalogic.js`

#4 gauravmm opened 8 years ago
0
Combine equality calculations in `metalogic.js`

#3 gauravmm opened 8 years ago
0
Separate TF manipulation interface.

#2 gauravmm closed 8 years ago
1
*junctions not expanded correctly

#1 gauravmm closed 8 years ago
0