AlgebraicJulia / AlgebraicJulia/GraphicalLinearAlgebra.jl
Add Metatheory interop
未关闭
- 主要语言
- Julia
- 星标
- 8
- 派生
- 1
- PR 合并指标
- 30 天内没有已合并 PR
描述
Metatheory.jl should be able to, analogously to the chase, perform equality saturation. It also has its own version of optimal term extraction. Automating the the process of encoding Catlab theories as Metatheory rewrite systems would allow us to compare our own functionality.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。