Formally Verified Logical Algorithms

This gallery is part of a project that aims to promote formal specification and computer-assisted proof in the Portuguese academic community. In particular, it aims to broaden and consolidate the user base of software and teaching materials in the Portuguese community for subjects in the area of Computational Logic and Foundations of Computing in Computer Science courses.
Supporting Theories