2 ms·

Eve Tutorial

• Gys 11y ago
  If you wonder (like me) what ever this might be, I found this somewhere: 'Eve is a set of tools to help us think. Currently, those tools include a database, a temporal logic query language, and an IDE.'