karpal-proof-derive 0.6.1

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