3,074 followers
RT @Jose_A_Alonso: Leveraging the information contained in theory presentations. ~ Jacques Carette, William M. Farmer, Yasmine Sharoda. htt…
RT @Jose_A_Alonso: Leveraging the information contained in theory presentations. ~ Jacques Carette, William M. Farmer, Yasmine Sharoda. htt…
RT @Jose_A_Alonso: Leveraging the information contained in theory presentations. ~ Jacques Carette, William M. Farmer, Yasmine Sharoda. htt…
Leveraging the information contained in theory presentations. ~ Jacques Carette, William M. Farmer, Yasmine Sharoda. https://t.co/7HNlf6yL6K #ITP #Agda #IsabelleHOL #LeanProver