gdp-0.0.3.0: README.md

# gdp: Ghosts of Departed Proofs