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:
-
Notifications
You must be signed in to change notification settings - Fork 0
Code for verifying algorithms for envy-free cake-cutting
License
erelsgl/envy-free-cake-cutting-with-waste
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code for verifying algorithms for envy-free cake-cutting
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published