1
$\begingroup$

For interacting with the OS, I was wondering whether Lean4 has standard functions to call unix shell commands?

Basically, I am looking for the Lean equivalent of python's os.system() or subprocess.run that can be used to execute system commands and read the output of the commands in stdout/stderr.

I did a quick search and only found a git repo lean4-cli, which is either not related or a overkill.

(This is with Lean 4.24.0 and Ubuntu 24.04 LTS)

Improve this question
$\endgroup$
3

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.