Skip to content

stronger reduction of known functors + other refactors

JoD requested to merge reducing_knowns into main

Merge request reports