proof-systems
proof-systems copied to clipboard
[kombucha] add implementations for Equals, Add, Sub