Homepage of the Salerno Automated Reasoning Lab

Logo

This is the website of the AureaLab, a research gorup on automated reasoning at the University of Salerno.

View My GitHub Profile

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.