eLxr packages您在所有發行版中所有架構下所有版面裡，指定關鍵字 libcoq-stdlib 在套件名稱中搜索的結果。 找到 1 個匹配的套件。
完整匹配
套件 libcoq-stdlib
- bianca (stable) (math):
proof assistant for higher-order logic (theories)
8.20.1+dfsg-1+b1: amd64 arm64
您在所有發行版中所有架構下所有版面裡，指定關鍵字 libcoq-stdlib 在套件名稱中搜索的結果。 找到 1 個匹配的套件。