Published November 19, 2024 | Version v10.30.4
Software Open

eyereasoner/eye: v10.30.4

Creators

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

Description

Euler Yet another proof Engine

Files

eyereasoner/eye-v10.30.4.zip

Files (8.2 MB)

Name Size Download all
md5:768163da71fdb521bc854d7b0ddab00b
8.2 MB Preview Download

Additional details

Related works

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