Leverage in Prediction Markets
What leverage means when the underlying is a probability — margin against event-contingent claims, and whether bonded assertions are the better primitive.
Workspace
Source lives in leverage_in_pm/. Details and demos will land
here as the project matures.