Python not found on PATH

Stream: new members

[Notification Bot]

2 messages were moved here from #new members > Lean4: Workspace not trusted in VS Code by Anne Baanen.

[Anne Baanen]

Srikrishna Sampath Kumaran said:

Instead I already have python 3.10 in my system. So what should I do to proceed further

We test the leanproject command with all Python versions starting from 3.6, so Python 3.10 should work fine. Did you already try out running leanproject?