awesome-repositories.com
Blog
MCP
awesome-repositories.com

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetServeur MCPÀ proposNotre méthodologiePresse
Mentions légalesConfidentialitéConditions d'utilisation
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
math-comp avatar

math-comp/algebra-tactics

0
View on GitHub↗
39 stars·5 forks·Rocq Prover·2 vues

Algebra Tactics

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.

Historique des stars

Graphique de l'historique des stars pour math-comp/algebra-tacticsGraphique de l'historique des stars pour math-comp/algebra-tactics

Recherche par IA

Explorez plus de dépôts awesome

Décrivez vos besoins en langage naturel — l'IA classe des milliers de projets open source sélectionnés par pertinence.

Start searching with AI

Questions fréquentes

Que fait math-comp/algebra-tactics ?

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

Quelles sont les fonctionnalités principales de math-comp/algebra-tactics ?

Les fonctionnalités principales de math-comp/algebra-tactics sont : Libraries.

Quelles sont les alternatives open-source à math-comp/algebra-tactics ?

Les alternatives open-source à math-comp/algebra-tactics incluent : 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?

Alternatives open source à Algebra Tactics

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Algebra Tactics.
  • charguer/tlcAvatar de charguer

    charguer/tlc

    41Voir sur GitHub↗

    Description

    Rocq Prover
    Voir sur GitHub↗41
  • coq/bignumsAvatar de coq

    coq/bignums

    25Voir sur 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
    Voir sur GitHub↗25
  • coq-community/aleaAvatar de coq-community

    coq-community/alea

    26Voir sur 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
    Voir sur GitHub↗26
  • bradymholt/cron-expression-descriptorAvatar de bradymholt

    bradymholt/cron-expression-descriptor

    1,107Voir sur GitHub↗

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

    C#
    Voir sur GitHub↗1,107
Voir les 23 alternatives à Algebra Tactics
→