npm72良好健康指数google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.Lean★ 1,0532026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0