AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Implement rewriting dimension
未关闭
- 主要语言
- Julia
- 星标
- 12
- 派生
- 2
- PR 合并指标
- 30 天内没有已合并 PR
描述
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。