awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索，发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
thery avatar

thery/mathcomp-extra

0
View on GitHub↗
5 星标·2 分支·Rocq Prover·MIT·3 次浏览

Mathcomp Extra

This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

Features

  • Libraries - Listed in the “Libraries” section of the Awesome Coq awesome list.

Star 历史

thery/mathcomp-extra 的 Star 历史图表thery/mathcomp-extra 的 Star 历史图表

AI 搜索

探索更多 awesome 仓库

用简单的语言描述您的需求 —— AI 将根据相关性为您从数千个精选开源项目中进行排序。

Start searching with AI

Mathcomp Extra 的开源替代方案

相似的开源项目，按与 Mathcomp Extra 的功能重合度排序。
  • charguer/tlccharguer 的头像

    charguer/tlc

    41在 GitHub 上查看↗

    Description

    Rocq Prover
    在 GitHub 上查看↗41
  • coq/bignumscoq 的头像

    coq/bignums

    25在 GitHub 上查看↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Rocq Prover
    在 GitHub 上查看↗25
  • coq-community/aleacoq-community 的头像

    coq-community/alea

    26在 GitHub 上查看↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Coq
    在 GitHub 上查看↗26
  • bradymholt/cron-expression-descriptorbradymholt 的头像

    bradymholt/cron-expression-descriptor

    1,107在 GitHub 上查看↗

    Would you take a quick second and ⭐️ my repo?

    C#
    在 GitHub 上查看↗1,107
查看 Mathcomp Extra 的所有 23 个替代方案→

常见问题解答

thery/mathcomp-extra 是做什么的？

This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

thery/mathcomp-extra 的主要功能有哪些？

thery/mathcomp-extra 的主要功能包括：Libraries。

thery/mathcomp-extra 有哪些开源替代品？

thery/mathcomp-extra 的开源替代品包括： charguer/tlc — Description. coq/bignums — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/alea — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/coq-ext-lib — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/reglang — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… bradymholt/cron-expression-descriptor —  Would you take a quick second and ⭐️ my repo?