search

eyereasoner / eye

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

feat: support emscripten inputs #106

Closed jeswr closed 5 months ago

jeswr commented 5 months ago

Superceded by https://github.com/eyereasoner/eye/commit/56c0ef6582286b99ecb5e50f7ac2593251e56e84