Skip to content
  • Alexander Weigl's avatar
    replace GenRAP · b200f82a
    Alexander Weigl authored
    Extension for generating run all proves unit tests.
    Helps to (re-)run a specific proof.
    b200f82a