Get fstar installed on Mac using Brew

Package Information:

Name: fstar
Use: Language with a type system for program verification
URL: https://www.fstar-lang.org/

Installation Steps:

1. Open Terminal by pressing <command+space>. Type terminal and hit Enter key.
2. Copy the below command and execute
   

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install fstar using brew

   brew install fstar

fstar is ready to use now!