Tool for Lean code verify

Stream: Machine Learning for Theorem Proving

[Shipeng Cen]

I'm sorry but I'm really new to lean. I don't know if there is any good tool to verify the lean code automatically as easily as possible

[Justin Asher]

Might be relevant: #lean4 > A better Lean checker

[Justin Asher]

I use LeanClient for a lot of my stuff at the moment (thanks @Oliver Dressler, has been super useful!).

[Justin Asher]

It allows the machines to interact with Lean the same way we do.

[Shipeng Cen]

I will read this article and really really thank you!