dependent_ghost 0.1.0

An implementation of Matt Noonan's 'Ghosts of Departed Proofs'.
Documentation