Skip to content

feat: [lean4web] add option to change selectionMoveMove#508

Open
abentkamp wants to merge 1 commit intoleanprover:masterfrom hhu-adam:selectionmovemode
+15-6

Commits