GitHub repository: vzaliva/coq-config
Primary language: Python
Description: Coq project configuration script