There is a newer version of the record available.

Published February 24, 2025 | Version v11.9.2
Software Open

eyereasoner/eye: v11.9.2

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

Description

Euler Yet another proof Engine

Files

eyereasoner/eye-v11.9.2.zip

Files (6.1 MB)

Name Size Download all
md5:50df201e620d4c6dd7bfe74e8d0ca2e2
6.1 MB Preview Download

Additional details

Related works

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

Software