https://pruvisto.org/erdos.html https://pruvisto.org/formalisations.html https://pruvisto.org/ https://pruvisto.org/misc.html https://pruvisto.org/proofground2019.html https://pruvisto.org/publications.html https://pruvisto.org/pubs/algorithms_survey.html https://pruvisto.org/pubs/ant.html https://pruvisto.org/pubs/ant_itp.html https://pruvisto.org/pubs/bernmm_itp.html https://pruvisto.org/pubs/cfrac.html https://pruvisto.org/pubs/diss.html https://pruvisto.org/pubs/divide_and_conquer_isabelle.html https://pruvisto.org/pubs/linrec.html https://pruvisto.org/pubs/nfasim.html https://pruvisto.org/pubs/papp.html https://pruvisto.org/pubs/pdfcompiler.html https://pruvisto.org/pubs/pdfcompiler_esop.html https://pruvisto.org/pubs/random_trees.html https://pruvisto.org/pubs/random_trees_journal.html https://pruvisto.org/pubs/real_asymp.html https://pruvisto.org/pubs/sds.html https://pruvisto.org/pubs/sds2smt_journal.html https://pruvisto.org/pubs/sds_isabelle.html https://pruvisto.org/pubs/sturm_paper.html https://pruvisto.org/pubs/swf.html https://pruvisto.org/pubs/weierstrass.html https://pruvisto.org/teaching.html