Last released Apr 8, 2025
Software package that allows efficient manipulation and comparison of Grothendieck motives in lambda-rings.
Supported by
