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
- formula - Propositional Formula, Conjunctive Normal Form and Horn Form
- booltheory - Boolean Algebra
- setstheory - Sets of Booleans and Propositional Formulae