Activity
alphahunter left a comment on Error message in Lean / Python / FrameworkAlgorith...
"Bump -- I'm still stuck on this, and it's a blocker for me :/ I would really appreciate any ideas th..."
Go to Discussion6 years ago
6 years ago
alphahunter started the discussion
Error message in Lean / Python / FrameworkAlgorithm while loading custom data do...6 years ago
6 years ago
alphahunter started the discussion
Is the preferred way to run Lean on linux a native install or via docker contain...6 years ago
6 years ago
alphahunter's Badges
Python Programming
Prefer Python Programming Language
Unlocked: 02-15-2019