Skip to content

Reorganization and helpers

Viktor Kuncak requested to merge github/fork/SimonGuilloud/theories-helpers into main

Created by: SimonGuilloud

Moved printer file New organization for helpers New Helper file (with extension) for RunningTheories and elements of those

Merge request reports