Links for lean-contracts