Skip to content

Merge pull request #56 from leanprover-community/batteries #174

Merge pull request #56 from leanprover-community/batteries

Merge pull request #56 from leanprover-community/batteries #174

Build on Windows

succeeded May 7, 2024 in 3m 33s