Bonjour,
Un spécialiste de PVS m'a dit que non, mais on ne sait jamais. Est-il possible de restreindre les preuves que l'on fait avec PVS à la logique intuitionniste (donc surtout pour empêcher des preuves utilisant le principe du tiers exclus) ?
Merci
Partager