Merge branch 'devel'

.editorconfig

.github/workflows/check_encoding.yml

.github/workflows/proof_tools.yml

.github/workflows/pvs_prelude.yml

.github/workflows/translator.yml

docs/main.adoc

encoding/alt/coercions.lp

encoding/alt/eq.lp

encoding/alt/tuple.lp

encoding/cast.lp

encoding/coercions.lp

encoding/eq.lp

encoding/examples/fixpoints.lp

encoding/examples/rat.lp

encoding/examples/stack.lp

encoding/examples/transitivity.lp

encoding/extra/bool_plus.lp

encoding/extra/star.lp

encoding/extra/telescope.lp

encoding/nat.lp