Re: Isabelle

From	Pierre Malard <plm4@mac.com>
Newsgroups	linux.debian.user.french
Subject	Re: Isabelle
Date	2026-04-21 08:40 +0200
Message-ID	<MMcW5-gO3f-1@gated-at.bofh.it> (permalink)
References	<MLMIh-gwr4-5@gated-at.bofh.it> <MLQCd-gzex-13@gated-at.bofh.it> <MM58d-gIXC-3@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

> Le 21 avr. 2026 à 00:14, Coralie <coralie@blues-softwares.net> a écrit :
> 
> 
> 
> 
>> Il s'agit de l'assistant de preuve https://isabelle.in.tum.de/
>> 
>> La France peut s'enorgueillir de déveloper un compétiteur:
>> https://rocq-prover.org/
> 
> Je ne vois nulle part d'information sur les licences.
> 
> Si quelqu'un peut éclairer ma chandelle.

Étrangement la réponse est dans la page Wikipédia (https://fr.wikipedia.org/wiki/Rocq_(logiciel)) :
« C'est un logiciel libre <https://fr.wikipedia.org/wiki/Logiciel_libre> distribué selon les termes de la licence GNU LGPL <https://fr.wikipedia.org/wiki/Licence_publique_g%C3%A9n%C3%A9rale_limit%C3%A9e_GNU>. »

> 
>> NB: le logiciel libre RefPerSys que je dévelope pourrait devenir un
>> compétiteur de plus. Il est multi-threadé
>> 
> Sincèrement 
> 💌 Coralie 💌
> 

-- 
Pierre Malard
https://plm4-photos.odexpo.com

Clé OpenGPG : https://keys.openpgp.org <https://keys.openpgp.org/>

   « Je n'ai jamais séparé la République des idées de
      justice sociale, sans laquelle elle n'est qu'un mot »

                                                Jean Jaures - 1887

   |\      _,,,---,,_
   /,`.-'`'    -.  ;-;;,_
  |,4-  ) )-,_. ,\ (  `'-'
 '---''(_/--'  `-'\_)   πr

perl -e '$_=q#: 3|\ 5_,3-3,2_: 3/,`.'"'"'`'"'"' 5-.  ;-;;,_:  |,A-  ) )-,_. ,\ (  `'"'"'-'"'"': '"'"'-3'"'"'2(_/--'"'"'  `-'"'"'\_): 24πr::#;y#:#\n#;s#(\D)(\d+)#$1x$2#ge;print'

Back to linux.debian.user.french | Previous | Next — Previous in thread | Find similar

Thread

Isabelle Nicolas FRANCOIS <nicolas.francois@free.fr> - 2026-04-20 04:40 +0200
  Re: Isabelle didier gaumet <didier.gaumet@gmail.com> - 2026-04-20 08:10 +0200
  Re: Isabelle Basile STARYNKEVITCH <basile@starynkevitch.net> - 2026-04-20 08:50 +0200
    Re: Isabelle Coralie <coralie@blues-softwares.net> - 2026-04-21 00:20 +0200
      Re: Isabelle Basile STARYNKEVITCH <basile@starynkevitch.net> - 2026-04-21 07:40 +0200
      Re: Isabelle Pierre Malard <plm4@mac.com> - 2026-04-21 08:40 +0200

csiph-web