Trying to satisfy the CI, 7.

lisa-examples/src/main/scala/Example.scala

lisa-front/src/main/scala/lisa/front/package.scala

lisa-front/src/main/scala/lisa/front/parser/FrontMacro.scala

lisa-front/src/test/scala/lisa/front/FrontMacroTests.scala

lisa-front/src/test/scala/lisa/front/UnificationTests.scala

lisa-theories/src/main/scala/lisa/Main.scala

.../src/main/scala/lisa/settheory/SetTheoryDefinitions.scala

...ies/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala

...ries/src/main/scala/lisa/settheory/SetTheoryZAxioms.scala

...ies/src/main/scala/lisa/settheory/SetTheoryZFAxioms.scala

lisa-utils/src/main/scala/lisa/utils/Library.scala

lisa-utils/src/test/scala/lisa/kernel/FolTests.scala

...ls/src/test/scala/lisa/kernel/InvalidProofPathTests.scala

lisa-utils/src/test/scala/lisa/kernel/ProofTests.scala

lisa-utils/src/test/scala/lisa/test/ProofCheckerSuite.scala

lisa-utils/src/test/scala/lisa/test/TestTheoryAxioms.scala

...ls/src/test/scala/lisa/utils/SCProofStepFinderTests.scala

src/main/scala/lisa/automation/kernel/ProofTactics.scala

src/main/scala/lisa/proven/peano_example/Peano.scala

...in/scala/lisa/proven/peano_example/PeanoArithmetics.scala