Skip to content

A copy of the lean4 repository to test changes to the repository and CI setup

License

Notifications You must be signed in to change notification settings

leanprover/lean4-ci-test

About

A copy of the lean4 repository to test changes to the repository and CI setup

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published