karpal-proof-derive 0.4.0

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