On Free Abelian Categories For Theorem Proving

New preprint.

Arxiv: https://arxiv.org/abs/2103.08379

Try out the corresponding software.