我正在测试一个名为corn的contrib coq库：https://github.com/c-corn/corn
但我无法让文件通过编译。根据README文件，包使用coq-8.4pl4进行编译。但是当我测试该版本时，我收到了一条错误消息：
...
coqc algebra\RSetoid -R . CoRN
File "d:\temp\corn/algebra\RSetoid.v", line 26, characters 0-32:
Error: Cannot find library abstract_algebra in loadpath
我还尝试了最新的8.4版本（8.4pl6）和8.5 beta 2，并得到了类似的错误。问题行本身就是：
Require Import abstract_algebra.
我不熟悉这个库（abstract_algebra）。有谁知道这个库，在哪里获取它，或者如何解决这个错误？
（我搜索了错误消息，并没有提到abstract_algebra库）。
提前致谢。