Janis-Bai
Results
1
issues of
Janis-Bai
In the current version of the library, inversion on formulas is not working as expected. In some cases, for instance, `congruence` falls short of closing a goal `s = t`...