• [^] # Re: Coq ?

    Posté par (site web personnel) . En réponse à la dépêche Le Frido 2025. Évalué à 3.

    Personnellement je ne vais pas le faire (en tout cas pas dans un avenir prévisible) parce que ma liste des choses à faire est déjà bien longue.

    Par contre, une telle contribution serait facilement acceptée :)