Last released Jul 17, 2025
Library for working with finitely presentable infinite structures
Supported by