GitHub repository: leanprover/lean4-ci-test
Primary language: Lean
Created: 2024-04-22T17:02:32Z
Description: A copy of the lean4 repository to test changes to the repository and CI setup