MaiaVictor/Formality

An efficient programming language and proof assistant.

Stars总数378

Forks总数10

今日Stars158

源码分类Rust

更新时间2018-10-19(7年前)

查看项目：MaiaVictor/Formality

扫码关注公众号获取最新文章，并可免费领取前端工程师必备学习资源