Doc fix and "p |-> Proof p" - Githubissues

matt-noonan / gdp

Ghosts of Departed Proofs

BSD 3-Clause "New" or "Revised" License

60 stars 11 forks source link

Doc fix and "p |-> Proof p" #13

Closed peterwicksstringfield closed 4 years ago

peterwicksstringfield commented 4 years ago

Noticed a couple things during my read through. Cool paper :).

matt-noonan commented 4 years ago

Thanks!