Sujet : Re: Is it that worse with GNU Prolog? (Was: Affero General Public License (AGPL))
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : comp.lang.prologDate : 24. Nov 2024, 11:54:07
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vhv0kf$26k7d$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 24/11/2024 08:54, Julio Di Egidio wrote:
Or maybe I'll just switch to Mizar...
Eh, I meant Mercury, not Mizar:
<
https://github.com/Mercury-Language/mercury>
Julio