Giters

pmoura / eye

Euler Yet another proof Engine

Home Page:https://josd.github.io/eye/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Euler Yet another proof Engine

https://josd.github.io/eye/

License:MIT License

Languages

Language:Prolog 37.5%Language:Python 31.0%Language:Julia 29.8%Language:Shell 1.3%Language:HTML 0.3%Language:Dockerfile 0.1%Language:Batchfile 0.0%