HorHang

DojoInitError: Cannot find the *.ast.json file for Theorem

8

While I am trying to use LeanDjo to interact with LeanDojo programatically, below issue occurred. I think I don't have the `*.ast.json` file. How to get those files? Run Code:...