search

gauravmm / Navelgazer

Linter for first-order logic
http://navelgazer.gauravmanek.com/
MIT License
0 stars 1 forks source link

Fixes #9 #10

Closed gauravmm closed 5 years ago