wijnand2
Results
3
comments of
wijnand2
Ran into this as well, would be a very useful extension.
@jasonrudolph Yes, to clarify: say the host is working on several python files, I would like to have a copy of each on my own machine in order to run...
Same issue here, the message "Symbol’s value as variable is void" was caused by not wrapping the path in paranthesis; i.e. I was entering `[path to folder with lean]/lean-3.4.2-linux` instead...