[efe1d1]: Test / CanNotProve / CanNotProve.tst  Maximize  Restore  History

Download this file

6 lines (3 with data), 85 Bytes

1
2
3
4
# CanNotProve.tst
>>> from Test.CanNotProve import test
>>> test.dotests()