Home

Welcome to the ProvingGround wiki!

This project aims to build an Automated Theorem Proving system based on (machine) learning, with foundations Homotopy Type Theory. This wiki has the following.

• A high-level view of the components of the project.
• Plans and work-points.
• References and background material.

For details of the code, please consult the webpage, in particular notebooks or scaladocs as well as the source code.