 Theory Linter
 Theory Linter
Analyzing...
Todo/Wishlist
- Identify bad type-prescription rules (non type-like conclusions)
- Identify compound-recogizer-like rules
- Remove-hyps tool -- suggest hypotheses that can be removed?
 Theory Linter
 Theory LinterAnalyzing...