Top suggestions for lean |
- Length
- Date
- Resolution
- Source
- Price
- Clear filters
- SafeSearch:
- Moderate
- Lean Automate
Theorem Prover - Lean Prover
Emacs - Lean
Math Prover - Legibility
- Proof
Assistant - Deepseek
Math V2 - Theorems
- Automated
Theorem Prover - Limbo
Verification - QuantConnect
- Lean
4 Proof Assistant - Mimo
7B - Prover
Loop - Formalizing Proof
Lean 4 - Arend
Theorem Prover - RCOq Theorem
Pro Over - BPE
LLMs - Prover
- Lean Math Prover
IMO - Lean
MathLib Tao - Jeremy
Avigad - EVO ICL
研讨会 - Model Checking
in Lean4 - Deepseek
Prover - Deep
Seek - Theorem Proving in Lean
4 日本語訳 - Deepseek Prover
V2 - Hol
Theorem Prover - Lean
See more videos
More like this
