gdp-0.0.0.1: README.md

# gdp: Ghosts of Departed Proofs