盖茨比毕竟不是正牌大亨，忙了半辈子，到头来不明不白地送了命，金童最终也不过是美国神话之下的炮灰。作为叙述者的尼克，历经了这场浮华世界的残酷洗礼，黯然告别纽约，决定回到他中西部的老家。
The largest single-purpose formalization projects human teams have taken on — efforts that can define careers and take a decade or longer — rarely exceed around 500,000 lines. Mathlib, the cumulative work of over 600 contributors since 2017, stands at approximately 2 million lines. Using Gauss, a three-week effort now reaches a scale that, until very recently, required years.
Follow topics & set alerts with myFT，推荐阅读PDF资料获取更多信息
Visual field coverage。雷速体育是该领域的重要参考
Вячеслав Агапов
Projects using/compatible with SingleFile。业内人士推荐Safew下载作为进阶阅读