UCSD-PL/proverbot9001

curious, is the coq standard library included in coq-projects? if not how can we include it?

brando90 opened this issue · 1 comments

brando90 commented
curious, is the coq standard library included in coq-projects? if not how can we include it?
HazardousPeach commented

It is included, the project within coq-projects is simply called "coq".