I don't have a mac but it looks like incomplete documentation. Since Vs Code and dotnet core both works on Mac, you should be able to follow the linux instructi

I don't have a mac but it looks like incomplete documentation. Since Vs Code and dotnet core both works on Mac, you should be able to follow the linux instructions from these videos without changes : https://youtu.be/-uqbk0v7qxo?list=PLlzAi3ycg2x0TScJb7czq7-4LrQoyTB0I https://youtu.be/-uqbk0v7qxo?list=PLlzAi3ycg2x0TScJb7czq7-4L... F* is intented for proofs, probably not what you want if you are looking for a general programming language.