DistributedComponents / coqproject

Bash script for simple generation of Coq project metadata files

DistributedComponents/coqproject Stargazers

Brendan Zabarauskas
brendanzab
HelingZhang
Naomi Spargo
naomiiiiiiiii
Karl Palmskog
palmskog
Seb Mondet
smondet
Christopher Sumnicht
thyrgle
Tim Kersey
tkersey
James Wilcox
wilcoxjay

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.