When running algorithms in Lean Docker from inside VS or VS Code I can successfully build or debug the BasicTemplateFrameworkAlgorithm - results via terminal or file. However, I do not know how to run any other algorithm. All methods I've hacked around with only run BasicTemplateFrameworkAlgorithm..

What is the process for running any algorithm and outputitng results? 

Plus trying to run another algorithm elsewhere mostly resulted in a long list of missing modules that run fine in Web IDE - is how latest is LEAN:latest?

Thanks.

Author