31 percent more coq
59 percent MoreCoq
71 percent MoreCoq
MoreCoq completed
MoreCoq with more search
Starting Prop
11 percent Logic
file for future reflection
15 percent
38perc Logic
Merge branch 'ssr' into ssr-work