{"type":"link","version":"1.0","title":"正文先列举数学中多种演算（lambda… · Synthesis is harder… | HotDaily","description":"正文先列举数学中多种演算（lambda、relational、predicate、sequent calculus），对比 “calculus”…","url":"https://hotdaily.top/item/85817d97-749a-42ef-94e9-ddd3274ce661","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}