lean 的热门建议 |
- Learn
4 - Proof
Assistant - Lean Proof
- Lean
Math Prover - Lean
Prover Emacs - Lean4
Creator - Lean 4 Proof
Assistant - Dhoulder
Lean - Shoulder
Lean - Lean
Math - Prove
- Lean
Automate Theorem Prover - Lean
MathLib Tao - L-Step Lenaser
Fiber - Lean
Theorem Prover Speed Run - Prover
- Isabelle/HOL
Proof Assistant - Lean
Math Prover IMO - Ti Shoulder
Lean - Coq Proof
Assistant - Microsoft.
Learn - Lean
Language Math - Lean Proof
System - Leaner in 1987
Contest - Terence
Tao - Lean
4 Web - Adam Lowe Lean
1 Reviews - Bghu
- Lean
Getting Started - Superintelligence
观看更多视频
更多类似内容
