swMATH37953MaRDI QIDQ53653FDOQ53653
Author name not available (Why is that?)
Official website: https://0x0f0f0f.github.io/Metatheory.jl/dev/
Source code repository: https://github.com/0x0f0f0f/Metatheory.jl
Cited In (2)
This page was built for software: Metatheory.jl
