eyereasoner / eye

Euler Yet another proof Engine
https://eyereasoner.github.io/eye/
MIT License
125 stars 17 forks source link

Feature: Don't display unused prefixes #74

Closed jeswr closed 1 year ago

jeswr commented 1 year ago

It would be nice if prefixes not used in the result were not output.

josd commented 1 year ago

Should now be fine except for --pass-only-new