Giters
conda-forge
/
coq-feedstock
A conda-smithy repository for coq.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
7
Issues:
2
Forks:
5
conda-forge/coq-feedstock Watchers
eemailme
Isuru Fernando
isuruf
James Cloos
jhcloos
Lori A. Burns
loriab
Mike Sarahan
msarahan
Samuel Lelièvre
slel
Théo Zimmermann
Zimmi48