Search results

Prove paper↔algorithm equivalence for the complete combinatorial Vickrey auction

isabelle

Status: Open.

#43 In formare/auctions;

· clange opened on Jan 4, 2014

·  

First Complete Generation of Code for Sound Combinatorial Vickrey Auctions

Announce verified algorithm for “all injective functions of a set” to Isabelle community

community

isabelle

Status: Open.

#42 In formare/auctions;

· clange opened on Jan 4, 2014

Write wrapper for Nata(BigInt(_))

enhancement

scala

Status: Open.

#41 In formare/auctions;

· clange opened on Oct 3, 2013

Allow for partial allocations of goods

enhancement

isabelle

theory

Status: Open.

#40 In formare/auctions;

· clange opened on Sep 11, 2013

Report transitive chain bugs to Isabelle community

bug

isabelle

Status: Open.

#37 In formare/auctions;

· clange opened on Sep 10, 2013

Submit Partitions.thy, RelationProperties.thy and their dependencies to the AFP

community

isabelle

Status: Open.

#36 In formare/auctions;

· clange opened on Sep 10, 2013

Make combinatorial Vickrey auction and its soundness a special case of reorganised general combinatorial auctions

isabelle

Status: Open.

#35 In formare/auctions;

· clange opened on Sep 6, 2013

Soundness proof and code generation for combinatorial first-price auction

enhancement

isabelle

theory

Status: Open.

#34 In formare/auctions;

· clange opened on Sep 5, 2013

Generalise formalisation of static auction (single good and combinatorial)

isabelle

Status: Open.

#32 In formare/auctions;

· clange opened on Sep 3, 2013

Document how to run Scala CATS UI with PowerShell

documentation

scala

Status: Open.

#31 In formare/auctions;

· clange opened on Sep 3, 2013

Continue contributing Makarius' Isabelle crash course lessons to StackOverflow

community

isabelle

Status: Open.

#29 In formare/auctions;

· clange opened on Sep 3, 2013

User interface to collect sealed bids for combinatorial auctions

scala

theory

Status: Open.

#28 In formare/auctions;

· clange opened on Sep 3, 2013