Li-Fan Chen says to YSITD
https://rise4fun.com/Dafny/tutorial/Guide 幹這好強ㄛ
at Thu, Apr 26, 2018 10:59 PM