Dimiter Prodanov
2017-07-18 13:52:34 UTC
Hi all,
personally I don't go beyond assume(x>0) because of the many deficiencies
of the mechanism.
So any attempts to make it more powerful should be welcomed.
best regards,
Dimiter
personally I don't go beyond assume(x>0) because of the many deficiencies
of the mechanism.
So any attempts to make it more powerful should be welcomed.
best regards,
Dimiter