PrototypeCommon
eyereasoner/eye
Euler Yet another proof Engine
- Owner
- eyereasoner (organization)
- Stars
- Stars: 179
- Forks
- Forks: 19
- Language
- Prolog
- License
- MIT
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Prolog
All Prolog repos- triska/clpfdStars: 195PrologPrototype
- strangeloop/StrangeLoop2014Stars: 188PrologPrototype
- simply-logical/simply-logicalStars: 187PrologPrototype
- mcsoto/cosmosStars: 177PrologPrototype
- gooofy/zamia-aiStars: 169PrologPrototype
- needleful/c_plus_prologStars: 169PrologPrototype