Ws21sem activityhttps://arg-git.informatik.uni-kl.de/logic-and-verification/ws21sem2021-10-28T10:09:35Ztag:arg-git.informatik.uni-kl.de,2021-10-28:2282Shuanglong Kan created project logic and verification / Ws21sem2021-10-28T10:09:35ZshuanglongShuanglong Kan