Comment by dj_axl

So build a better proof/paper/technique search engine?