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