This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
Primary LanguageCommon Lisp
No issues in this repository yet.