Skip to content

Some basic refactoring to improve readability

Max Ole Elliger requested to merge proof-refactoring into main

Just some refactoring, how to present the theorems and definitions. Could improve readability.

Merge request reports