A Coq development of a theory of lightweight cryptographic ledgersgithub.com/billlwhite67 pointskushti11 years ago