Skip to content
GitLab
Explore
Sign in
key-public
key
Repository
key
key
key.core
build.gradle
Find file
Blame
History
Permalink
replace GenRAP
· b200f82a
Alexander Weigl
authored
Mar 07, 2021
Extension for generating run all proves unit tests. Helps to (re-)run a specific proof.
b200f82a