Last released Jul 3, 2026
Library for working with finitely presentable infinite structures
Supported by