Skip to content

Conversation

@lzy0505
Copy link
Collaborator

@lzy0505 lzy0505 commented Aug 1, 2025

Fix #26 by removing the syntax rules for splitSide

@markusdemedeiros markusdemedeiros merged commit 59650ac into leanprover-community:master Dec 4, 2025
1 check passed
@lzy0505 lzy0505 deleted the fix-split branch December 22, 2025 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

isplit makes r and l tokens instead of identifiers

2 participants