Re: Isabelle
Basile STARYNKEVITCH <[email protected]>
| Newsgroups | gmane.linux.debian.user.french |
|---|---|
| Message-ID | <[email protected]> |
On Mon, 2026-04-20 at 04:36 +0200, Nicolas FRANCOIS wrote: > Salut. > > L'un d'entre vous a-t-il réussi à installer Isabelle/HOL sur une > Debian récente ? 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/ > > En suivant la procédure sur le site officiel, je n'arrive pas à > lancer l'exécutable, et je ne comprends pas pourquoi. J'ai personnellement du mal à trouver puis comprendre la procédure d'installation. Où l'avez vous lue? A quelle étape de cette procédure ça a échoué? NB: le logiciel libre RefPerSys que je dévelope pourrait devenir un compétiteur de plus. Il est multi-threadé -- 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