Re: Isabelle

From	Coralie <coralie@blues-softwares.net>
Newsgroups	linux.debian.user.french
Subject	Re: Isabelle
Date	2026-04-21 00:20 +0200
Message-ID	<MM58d-gIXC-3@gated-at.bofh.it> (permalink)
References	<MLMIh-gwr4-5@gated-at.bofh.it> <MLQCd-gzex-13@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw



>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.

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

Back to linux.debian.user.french | Previous | Next — Previous in thread | Next 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