This project contains the SageMath code that we used to prove the correctness of our envy-free cake-cutting protocol.
For details about the protocol, see our waste-makes-haste paper.
You can run the code directly in the SageMath cloud:
This project contains the SageMath code that we used to prove the correctness of our envy-free cake-cutting protocol.
For details about the protocol, see our waste-makes-haste paper.
You can run the code directly in the SageMath cloud: