AlgebraicJulia / AlgebraicJulia/GraphicalLinearAlgebra.jl
Add Metatheory interop
Ouverte
- Langage dominant
- Julia
- Étoiles
- 8
- Forks
- 1
- Métriques de merge des PR
- Aucune PR mergée en 30 j
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.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.