Update README of Proofrecording

jrh13 / hol-light

The HOL Light theorem prover

Other

435 stars 78 forks source link

Closed yiyuan-cao closed 9 months ago

yiyuan-cao commented 9 months ago

fix: update the broken link to hollightcoq source archive

jrh13 commented 9 months ago

Thank you for spotting that - now merged.