The top documents of lean12