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 Discussion

5 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 Discussion

5 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 Discussion

5 years ago

5 years ago

---

Ruchir started the discussion

Unable to install LEAN with Visual Studio on Mac - help needed

5 years ago

5 years ago