Skip to content

Scheduled Update

Scheduled Update #129

Testbed  /  Build leanprover/verso on leanprover/lean4:v4.7.0

succeeded Apr 7, 2024 in 1m 57s