RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Build JUnit tests for various sequents to test the Congruence Class Registry. Not all of them prove right now, so they are not part of the continuous integration.
Build JUnit tests for various sequents to test the Congruence Class Registry. Not all of them prove right now, so they are not part of the continuous integration.