GitHub repository: mht208/homebrew-formal
Primary language: Ruby
Description: Homebrew formulae for formal methods