0La chaleur
1Répondre
Comment obtenir des fonctions de racine carrée et de logarithme symboliques dans SBV?
4La chaleur
1Répondre
Pourquoi ce code SBV s'arrête-t-il avant d'avoir atteint la limite que j'ai fixée?
1La chaleur
2Répondre
automatiquement pour dériver prouvable prédicats sur les enregistrements dans SBV