We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

NREGS (Mahatma Gandhi National Rural Employment Guarantee Scheme) is the Indian government's flagship anti-poverty program and is one of the largest public works programmes in the world which aims to increase employment opportunities for the poor and in particular, improve women's access to the...