-
- Downloads
Small fixes to tests and congruence (#223)
* fix tests, small cleaning in congruence algorithm. * further simplification * more minor improvements to congruence * update CHANGES.md * old
Showing
- CHANGES.md 3 additions, 1 deletionCHANGES.md
- lisa-sets/src/main/scala/lisa/automation/Congruence.scala 66 additions, 68 deletionslisa-sets/src/main/scala/lisa/automation/Congruence.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/Comprehensions.scala 1 addition, 1 deletion.../src/main/scala/lisa/maths/settheory/Comprehensions.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/SetTheory2.scala 1 addition, 1 deletion...sets/src/main/scala/lisa/maths/settheory/SetTheory2.scala
- lisa-sets/src/test/scala/lisa/automation/CongruenceTest.scala 1 addition, 2 deletions...-sets/src/test/scala/lisa/automation/CongruenceTest.scala
Loading
Please register or sign in to comment