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 還沒有評估資料。