[input-output-hk/cardano-sl] Core specification first draft (#3027)

@aspiwack pushed 1 commit.

fe6d925 [CDEC-202] Specify the richmen set

This post was last modified on June 13, 2018, 7:05 pm