137 followers EuroProofNet @EuroProofNet Lemmaless Induction in Trace Logic https://t.co/jz88EW0O0J 30 Sep 2022 Reply Repost Favourite