Re: Isabelle

Coralie <[email protected]>
Newsgroups gmane.linux.debian.user.french
Message-ID <[email protected]> 


>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 💌
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.