AlgebraicJulia / AlgebraicJulia/GraphicalLinearAlgebra.jl
Add Metatheory interop
Open
- Dominant language
- Julia
- Stars
- 8
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.