search

eyereasoner / eye

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

Change docker image name #59

Closed bdevloed closed 1 year ago

bdevloed commented 1 year ago

Move docker image to eyereasoner/eye.