About the App
- App name: ssreflect
- App description: Virtual package provided by libssreflect-coq
- App website: http://www.msr-inria.fr/projects/mathematical-components-2/
Install the App
Command+Spaceand type Terminal and press enter/return key.
- Run in Terminal app:
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null
and press enter/return key.
If the screen prompts you to enter a password, please enter your Mac's user password to continue. When you type the password, it won't be displayed on screen, but the system would accept it. So just type your password and press ENTER/RETURN key. Then wait for the command to finish.
brew install ssreflect
Done! You can now use