精益 leanbot 返回
项目作者： forked-from-1kasper

项目描述 ：
用精益编写的IRC-bot（https://leanprover.github.io/）
高级语言： Lean
项目地址: git://github.com/forked-from-1kasper/leanbot.git
创建时间： 2018-03-28T11:53:18Z
项目社区：https://github.com/forked-from-1kasper/leanbot
开源协议：
下载