5,506 followers shogochiai.eth @_sgtn Liveness Reasoning with Isabelle/HOL (27EUR) https://t.co/BPew9DzYSe 18 Jun 2018 Reply Repost Favourite