The top documents of proof-analytics