Skip to content

feat: initial code example extraction #5

feat: initial code example extraction

feat: initial code example extraction #5

Annotations

1 error and 1 warning

Build and test (leanprover/lean4:4.5.0)

failed Mar 1, 2024 in 33s