A copy of the lean4 repository to test changes to the repository and CI setup - View it on GitHub