AlgebraicJulia / AlgebraicJulia/GraphicalLinearAlgebra.jl
Add Metatheory interop
Abierto
- Lenguaje dominante
- Julia
- Estrellas
- 8
- Forks
- 1
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.