proof-systems
proof-systems copied to clipboard
ffMul documentation and comparison of borrow vs negation approaches