Skip to content

Add VersoXp, use lakefile.toml and reservoir require for the first time #233

Add VersoXp, use lakefile.toml and reservoir require for the first time

Add VersoXp, use lakefile.toml and reservoir require for the first time #233

Annotations

1 warning

Lean 4 Projects (macos-latest)

succeeded Oct 23, 2024 in 10m 5s