shriram/repro-in-cs — pull request #87 by Blaisorblade (2014-04-01 19:26:06+00:00)
Title: Clear AusielloDFF12

I finally got around to this paper as promised. Sorry for the delay, but when I first built it I did not take enough notes, so I needed to do it again to do a proper job.

This paper was harder to build than other ones. I think it passes, but I
documented the difficulties I had, because I expect some other people
would not manage to cope with the difficulties.