├── .gitignore ├── README.md ├── arxiv.bib ├── main.pdf ├── main.tex ├── peerreviewed.bib └── workshop.bib /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/README.md -------------------------------------------------------------------------------- /arxiv.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/arxiv.bib -------------------------------------------------------------------------------- /main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/main.pdf -------------------------------------------------------------------------------- /main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/main.tex -------------------------------------------------------------------------------- /peerreviewed.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/peerreviewed.bib -------------------------------------------------------------------------------- /workshop.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlringer/ml-for-proofs/HEAD/workshop.bib --------------------------------------------------------------------------------