GITHUB TOPIC

lean

1 个项目包含此标签

1 个项目

GitHub Topic 精确匹配

学习研究新插件

math-lean

Fisfzy

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

dsh-plugin dshx

1TypeScript2026-08-13