Redeal

Neutral fairness computation for agents: fair division, verifiable random, Shapley shares.