fix: simp
fails to discharge autoParam
premises even when it can reduce them to True
#1256
Job | Run time |
---|---|
3s | |
3s |
simp
fails to discharge autoParam
premises even when it can reduce them to True
#1256
Job | Run time |
---|---|
3s | |
3s |