黑客攻击：：[包]

贴有理论证明标签的包裹

1个包裹上有这个标签。

[合并标签]（仅限受托人）

相关标签：图书馆(1),麻省理工学院(1)

姓名
数据链路
额定值
收入折旧
描述
标签
最后一个U/L
上次版本
维护者
证明复合器501Liquid Haskell中用于定理证明的证明组合器(图书馆，麻省理工学院，理论证明)2018-03-280.1.0.0法孔多明格斯，尼基瓦祖