定理证明

Idris 2 中的定理证明教程。

备注

Idris 的文档已在知识共享 CC0 许可下发布。因此，在法律允许的范围内，Idris 社区 已经放弃了 Idris 文档的所有版权和相关或邻近的权利。

关于CC0的更多信息，可以在网上找到：http://creativecommons.org/publicdomain/zero/1.0/