exe:what4-arithmetic

Dependencies

• base lib:base >=0
• copilot lib:copilot >=0
• copilot-theorem lib:copilot-theorem >=0

Reverse dependencies

None.