首页
标签
stainless
证明不锈钢功能终止时的匹配错误
证明有序列表的串联是不锈钢中的有序列表
在 Stainless 中引入终止作为先决条件