Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with asdf-coq

A curated list of projects in awesome lists tagged with asdf-coq .

https://github.com/gingerhot/asdf-coq

:rooster: Coq plugin for ASDF version manager.

asdf-coq asdf-plugin coq coq-installation coq-version-manager version-manager

Last synced: 06 Nov 2024