The top documents tagged [proven circuits]