Re: Isabelle
Basile STARYNKEVITCH <[email protected]>
| Newsgroups | gmane.linux.debian.user.french |
|---|---|
| Message-ID | <[email protected]> |
On Tue, 2026-04-21 at 00:14 +0200, Coralie wrote: > > > > > 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. https://rocq-prover.org/about mentionne explicitement la LGPL v2.1 -- Basile STARYNKEVITCH <[email protected]> 8 rue de la Faïencerie http://starynkevitch.net/Basile/ 92340 Bourg-la-Reine https://github.com/bstarynk France https://github.com/RefPerSys/RefPerSys https://orcid.org/0000-0003-0908-5250