3,532 followers José A. Alonso @Jose_A_Alonso Mechanised modal model theory. ~ Yiming Xu and Michael Norrish (2020). https://t.co/OngnDF9BXp #ITP #HOL4 #Logic 31 Dec 2021 Reply Repost Favourite