Activity
Ruchir left a comment on Can't start research environment
"Hey Alex Botsula it looks like they've added a new requiremnent to sign up as a verified user (usin..."
Go to Discussion5 years ago
5 years ago
Ruchir left a comment on Can't start research environment
"yes - I've been having the same problem since yesterday"
Go to Discussion5 years ago
5 years ago
Ruchir left a comment on Unable to install LEAN with Visual Studio on Mac -...
"Hi LinkI ignored the error and tried to build, but now I get build errors :-(..."
Go to Discussion5 years ago
5 years ago
Ruchir started the discussion
Unable to install LEAN with Visual Studio on Mac - help needed5 years ago
5 years ago
Ruchir's Badges

Python Programming
Prefer Python Programming Language
Unlocked: 03-30-2019