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 remote-tracking branch 'upstream/ssr' into ssr
MoreCoq