Skip to content

Conversation

@pitmonticone
Copy link
Member

No description provided.

@grunweg
Copy link
Collaborator

grunweg commented Dec 16, 2025

Thanks!

@grunweg grunweg merged commit 2c32227 into leanprover-community:master Dec 16, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants