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
·
vafeiadis avatar

vafeiadis/hahn

0
View on GitHub↗
29 stars·15 forks·Coq·MIT·4 vues

Hahn

Hahn is a Coq library that contains a useful collection of lemmas and tactics about lists and binary relations.

Features

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

Historique des stars

Graphique de l'historique des stars pour vafeiadis/hahnGraphique de l'historique des stars pour vafeiadis/hahn

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

Alternatives open source à Hahn

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Hahn.
  • 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 à Hahn→

Questions fréquentes

Que fait vafeiadis/hahn ?

Hahn is a Coq library that contains a useful collection of lemmas and tactics about lists and binary relations.

Quelles sont les fonctionnalités principales de vafeiadis/hahn ?

Les fonctionnalités principales de vafeiadis/hahn sont : Libraries.

Quelles sont les alternatives open-source à vafeiadis/hahn ?

Les alternatives open-source à vafeiadis/hahn 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?