There is a newer version of the record available.

Published September 4, 2024 | Version v10.20.6
Software Open

eyereasoner/eye: v10.20.6

Authors/Creators

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

Description

Euler Yet another proof Engine

Files

eyereasoner/eye-v10.20.6.zip

Files (9.9 MB)

Name Size
md5:d9f9e611a58df1c868a78723fa1180ee
9.9 MB Preview Download

Additional details

Related works

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