Links for gsd-lean