Skip to content

fix: MLList.isEmpty's definition inversed#1075

Merged
fgdorais merged 1 commit intoleanprover-community:mainfrom
crvdgc:fix-mllist-isempty
Dec 8, 2024

Commits

Commits on Dec 7, 2024