Skip to content

Added Crux.jl to the README#573

Merged
mossr merged 1 commit intomasterfrom
mossr-patch-1
Sep 10, 2025
Merged

Added Crux.jl to the README#573
mossr merged 1 commit intomasterfrom
mossr-patch-1

Conversation

@mossr
Copy link
Copy Markdown
Member

@mossr mossr commented Sep 10, 2025

No description provided.

@mossr mossr merged commit 0004fb3 into master Sep 10, 2025
15 checks passed
@zsunberg zsunberg deleted the mossr-patch-1 branch September 11, 2025 00:43
@zsunberg
Copy link
Copy Markdown
Member

Thanks for adding @mossr !

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