Merge branch 'devel'

.github/workflows/proof_tools.yml

Makefile

README.md

docs/.gitignore

docs/Makefile

docs/main.adoc

encoding/README.adoc

encoding/eq.lp

encoding/extra/arity-tools.lp

encoding/extra/deptype.lp

encoding/extra/prenex/README.md

encoding/extra/prenex/kind.lp

encoding/extra/prenex/prop.lp

encoding/extra/prenex/set.lp

encoding/extra/pvs_core.lp

encoding/extra/star.lp

encoding/logical.lp

encoding/pvs_cert.lp

encoding/telescope.lp

psnj_toolbox/.gitignore