Open StephanGocht opened 5 years ago
We might want to support qualities as proof lines, or maybe not, but then we should document properly why and what to do instead.
We might want to support qualities as proof lines, or maybe not, but then we should document properly why and what to do instead.