Home

Projects

About

Contact

Welcome to AureaLab Pages

Those are the webpages of the Laboratory of Automated Reasoning at the University of Salerno. Please check out our projects and repository.