Skip to content

fix: run Lean.enableInitializersExecution (#1047) #528

fix: run Lean.enableInitializersExecution (#1047)

fix: run Lean.enableInitializersExecution (#1047) #528