Skip to content

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

fix: don't render all branches of choice nodes

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

Annotations

1 warning

Build and test (leanprover/lean4:4.5.0)

succeeded Mar 21, 2024 in 1m 9s