GregasMaximus left a comment on Running local python algorithm error

"You are welcome. The fact the Lean is open source is amazing and I'm happy to contribute in what..."

GregasMaximus left a comment on Got an error msg when running python on desktop

"After a bunch googling, trying to understand the situation, I found that python3.6m.dll is simp..."

GregasMaximus left a comment on Running local python algorithm error

"After a bunch googling, trying to understand the situation, I found that python3.6m.dll is simp..."

GregasMaximus left a comment on Running local python algorithm error

"I am using Anaconda...just did a search and the python3.6m.dll (or similar) is not found anywhere.&n..."

GregasMaximus left a comment on Running local python algorithm error

"I upgraded to python3.6.6 and copied the file as directed above by Alexandre, rebuilt the solution. ..."