Merge branch 'main' into front-integration

LISA Reference Manual.pdf

README.md

Reference Manual/lisa.tex

Reference Manual/part1.tex

Reference Manual/part2.tex

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

...ont/src/main/scala/lisa/front/printer/KernelPrinter.scala

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

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

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

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

...a/lisa/proven/peano_example/PeanoArithmeticsLibrary.scala