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:
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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: