lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to ...

⬆️ Bump actions/upload-artifact from 3 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code ...