1. 6
    A self-amending cryptographic ledger built in OCaml cryptocurrencies formalmethods ml git.io
    ao avatar via ao 11 months ago | cached | 5 comments