let get_name proj = proj.T.name