kenthunt/auction

Coq formalization of double sided auctions

Coq