karpal-proof-derive 0.5.0

Derive macros for algebraic law verification in the Industrial Algebra ecosystem
Documentation