This package contains classes implementing the proof search strategies of KeY.