Skip to content

fix: don't render all branches of choice nodes #48

fix: don't render all branches of choice nodes

fix: don't render all branches of choice nodes #48

Annotations

1 warning

Build and test (leanprover/lean4:4.4.0)

succeeded Mar 21, 2024 in 1m 12s