search

eyereasoner / eye

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

Use `--output` rather than `>` for tests #96

Closed jeswr closed 11 months ago

jeswr commented 11 months ago

This is to make my life easier in finishing up https://github.com/eyereasoner/eye-js/pull/164