仓库议题

leanprover-community/physlib

A project to digitalise results from physics into Lean.

在 GitHub 查看
星标
 (642 个星标)
派生
 (139 个派生)
已索引议题
 (5 个已索引议题)
个开放新手议题
 (5 个开放的新手议题)
最近索引
2026年8月14日
最近 GitHub push
2026年7月11日
许可证
Apache License 2.0
贡献指南
贡献指南
行为准则
没有行为准则
主要语言
Lean
PR 合并指标
 (PR 指标待抓取)
新手标签
good first issuehelp wanted

议题

5 个开放索引议题

开放
Remove `erw`s
good first issuehelp-wanted
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签提供贡献指南

leanprover-community / physlib · #385 · 2025年3月10日 · Lean · 642 个星标

1 条评论0 个反应0 位负责人
开放
Multigoal linter
good first issuehelp-wanted
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签提供贡献指南

leanprover-community / physlib · #353 · 2025年2月27日 · Lean · 642 个星标

0 条评论0 个反应0 位负责人
开放
Workflow alignment
WIPenhancementgood first issuehelp-wanted
为什么推荐暂无评论 · 带有初学者友好标签
暂无评论带有初学者友好标签提供贡献指南

leanprover-community / physlib · #282 · 2025年1月20日 · Lean · 642 个星标

0 条评论0 个反应1 位负责人