coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Standard library not listed?

From: Cao Qinxiang <caoqinxiang AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Standard library not listed?
Date: Mon, 24 Dec 2018 07:24:20 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=caoqinxiang AT gmail.com; spf=Pass smtp.mailfrom=caoqinxiang AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi1-f171.google.com
Ironport-phdr: 9a23:lfmClRU0TdHLUQWjHZ5bFjdlHznV8LGtZVwlr6E/grcLSJyIuqrYYxeDt8tkgFKBZ4jH8fUM07OQ7/iwHzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9xIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAvQbMuZfsoLzvFoOrR2xBAmtHuzvzDBIjWLx0KImyeshFhjG3A0mH9MBsXTbttP1NKgJXOC6yanH1zTDb/dM1Tjh74jIdwksrPeRVrx+dsrRzFMgFwLDjliIqIzlOSmV1uUXvGSB4epgT+SigHMkpQFpujWj2Nsgh43Tio8Wyl3I7zh1zYc3KNGiVUJ2Y8OoHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLc4+J4h7+TeqRLyp0iXB4dL6liBay9k+gyuL4VsaqylpFsi1FktzUunAM0Rzc9NSHR+Nj8ku93TuDzQPe5+FeLUwplKfWKYQtzqMym5YOqUjDGzX5mETyjK+YbEUk/e2o5vz7bbr8oZ+cLo50igfxM6QvgMO/B+s4PxMBX2ie4+u81bnj8VflT7VNi/06irPZv4zCJcQHuq65BBdY3Zok6xamFjupzNAYnWQcI19eYxKGj43pO0nUL/ziDPe/hU6skDZxyPzcML3hGMaFEn+Wm7D4OL159kR0yQwpzNkZ6YgHJKsGJafYU0i5jd3eHh4wNQP8l+3uD8x80JMfUGSAKqCcOaLW91SP47R8cKG3eIYJtWOleLAe7Pn0gCphwA5PTeySxZISLUuAMLFjKkSdb2Drh45YQ2gPtws6CuftjQ/bCGIBVzOJR6s5owoDJse+F46aH9KihbWA2GGwGZgEPjkbWGDJKm/hcsC/Y9lJaC+WJZU/wDkNVLzkTI54kB/361a8xL1gIe7ZvCYfsMC72Q==

Hi all,

I am wondering whether there are some standard library folders missing on the page "https://coq.inria.fr/library/index.html". For example, I cannot find setoid_ring on it. I am wondering where I can find a more complete list of standard libraries. Thank you very much!

Best,

Qinxiang Cao

Shanghai Jiao Tong University, John Hopcroft Center

Room 1110-2, SJTUSE Building

800 Dongchuan Road, Shanghai, China, 200240

[Coq-Club] Standard library not listed?, Cao Qinxiang, 12/24/2018
- Re: [Coq-Club] Standard library not listed?, mukesh tiwari, 12/24/2018
  - Re: [Coq-Club] Standard library not listed?, Cao Qinxiang, 12/24/2018