GitHub repository: mister-walter/homebrew-acl2s
Primary language: Ruby
Created: 2022-01-05T22:24:53Z
Description: A Homebrew formula for ACL2s