There is a newer version of the record available.

Published February 19, 2025 | Version v11.7.6
Software Open

eyereasoner/eye: v11.7.6

Authors/Creators

  • 1. Ghent University Library
  • 2. University of Oxford
  • 3. VU University, Amsterdam

Description

Euler Yet another proof Engine

Files

eyereasoner/eye-v11.7.6.zip

Files (9.3 MB)

Name Size
md5:ad199a90246c5fc7e08ad38cd236e32d
9.3 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/eyereasoner/eye/tree/v11.7.6 (URL)

Software

Repository URL
https://github.com/eyereasoner/eye