Skip to content

Add test to examples - #542

Merged
robsimmons merged 1 commit into
leanprover:ambient-levelfrom
jcreedcmu:jcreed-541-suggestion
Sep 30, 2025
Merged

Add test to examples#542
robsimmons merged 1 commit into
leanprover:ambient-levelfrom
jcreedcmu:jcreed-541-suggestion

Conversation

@jcreedcmu

Copy link
Copy Markdown
Collaborator

No description provided.

@robsimmons
robsimmons merged commit 9fe029d into leanprover:ambient-level Sep 30, 2025
3 checks 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