MetaRocq/metarocq
@MetaRocq元编程、验证过的元理论，以及在 Rocq 中实现 Rocq。
星数
552
Fork 数
99
语言
Rocq Prover
许可
MIT
最后推送
4周前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
元编程、验证过的元理论，以及在 Rocq 中实现 Rocq。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。