search

matt-noonan / gdp

Ghosts of Departed Proofs
BSD 3-Clause "New" or "Revised" License
60 stars 11 forks source link

Apply/substitute use Proof arguments #9

Closed spacekitteh closed 5 years ago

spacekitteh commented 5 years ago

c.f. #8

matt-noonan commented 5 years ago

Thank you!