VeTSS (@vetss_ri) 's Twitter Profile
VeTSS

@vetss_ri

Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)

ID: 1640319077993381890

linkhttps://vetss.org.uk calendar_today27-03-2023 11:46:41

87 Tweet

80 Takipçi

126 Takip Edilen

VeTSS (@vetss_ri) 's Twitter Profile Photo
VeTSS
@vetss_ri

2 years ago

Amazing tutorial by Dr. Andrei Popescu on understanding induction and co-induction with proofs in Isabelle/HOL at the #VeTSS summer school.

Amazing tutorial by Dr. Andrei Popescu on understanding induction and co-induction with proofs in Isabelle/HOL at the #VeTSS summer school.