Added several more rules to simplfy things like A!==3 And A==3 <- False. Hopefully, this is temporary and CanProve will soon become capable of dealing with more complicated things
Added several more rules to simplfy things like A!==3 And A==3 <- False. Hopefully, this is
temporary and CanProve will soon become capable of dealing with more complicated things

tomaszkrysiuk/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,qwert2003/yacas,MateuszSnamina/yacas,martanoga/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,qwert2003/yacas,martanoga/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,martanoga/yacas,qwert2003/yacas,MateuszSnamina/yacas,martanoga/yacas,martanoga/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,martanoga/yacas,grzegorzmazur/yacas,qwert2003/yacas,MateuszSnamina/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,martanoga/yacas,qwert2003/yacas