Skip to content

Fix list node join of two empty children under one key - #151

Open
imlvts wants to merge 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/list-node-join-empty-children
Open

imlvts wants to merge 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/list-node-join-empty-children

Fix list node join of two empty children under one key

3d98a13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 29, 2026 in 9s