coq-community/coq-ext-lib

This is stars and forks stats for /coq-community/coq-ext-lib repository. As of 27 Apr, 2024 this repository has 121 stars and 44 forks.

coq-ext-lib A collection of theories and plugins that may be useful in other Coq developments. Meta Author(s): Gregory Malecha (initial) Coq-community maintainer(s): Gregory Malecha (@gmalecha) Yishuai Li (@liyishuai) License: BSD 2-Clause "Simplified" License Compatible Coq versions: Coq 8.11 or later or 8.9 Additional dependencies: none Coq namespace: ExtLib Related publication(s): none Building and installation instructions The easiest way to install the latest released version of coq-ext-lib is...