仓库议题

joelburget/JonPRL

An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl

在 GitHub 查看
Star
 (0 star)
Fork
 (0 fork)
已索引议题
 (0 个已索引议题)
个开放新手议题
 (0 个开放新手议题)
最近索引
尚未索引
最近 GitHub push
2015年6月28日
许可证
没有许可证数据
贡献指南
没有贡献指南
行为准则
没有行为准则
主要语言
Standard ML
PR 合并指标
 (PR 指标待抓取)
新手标签
没有已索引的新手标签

议题

0 个开放索引议题

RSSAtom

此仓库没有开放的已索引议题。