name: math-comp
description: Mathematical Components for the Coq proof assistant
version: 1.12.0
spec_version: 1.0
home_url: https://math-comp.github.io/math-comp/
news_url: https://libraries.io/homebrew/math-comp/versions.atom
date: 2021-03-03
about_resource: NONE
libraries_io_url: https://libraries.io/homebrew/math-comp?number=1.12.0
vcs_tool: git
vcs_repository: https://github.com/math-comp/math-comp
vcs_branch: master
