Skip to content

Front integration and various changes

Viktor Kuncak requested to merge front-integration into main

Created by: SimonGuilloud

Heavy update to code documentation and Reference Manual Parts of the front-end integrated, in its proper subproject. Some reorganisation, simplification and unification of FOL. New proof step without premise to start with an OCBSL-tautology. More small improvments.

Merge request reports