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