一门让你觉得离散数据没白学的语言:TLA+

欢迎关注我的其它发布渠道