moonad/Formality

A modern proof language

Stars总数1378

Forks总数59

今日Stars29

源码分类JavaScript

更新时间2020-12-17(4年前)

查看项目：moonad/Formality

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