salut tout le monde,
j'ai un projet avec le logiciel PVS sous linux et je veux savoire comment camarche?
installation et utilisation .
et merci