Title
AEtnaNova/Referee proof assistant
Catalog Number
102805292
Type
Software
Description
Source code, documentation, etc.
Author
Schwartz, J.T.; Omodeo, Eugenio; Cantone, D.; Policriti, A.
Category
Programming/Code/Source
Credit
Gift of Eugenio Omodeo
