Closed DanGrayson closed 11 years ago
The README.md file explains where to get a version of the Foundation files of Voevodsky that will install them in the user-contrib directory of coq, where coq can find them.
The README.md file explains where to get a version of the Foundation files of Voevodsky that will install them in the user-contrib directory of coq, where coq can find them.