Specializes in Lean4 code and mathlib4 integration
4.0100+
Translate your input Machine Learning Theory with LaTeX into Lean4 theorem prover.
40+
