Skip to content

Announce OPLSS 2026 - #242

Merged
mattam82 merged 1 commit into
rocq-prover:mainfrom
mattam82:oplss-2026
Mar 24, 2026
Merged

Announce OPLSS 2026#242
mattam82 merged 1 commit into
rocq-prover:mainfrom
mattam82:oplss-2026

Conversation

@mattam82

Copy link
Copy Markdown
Member

No description provided.

@mattam82
mattam82 merged commit dec53b1 into rocq-prover:main Mar 24, 2026
2 checks passed
@mattam82
mattam82 deleted the oplss-2026 branch March 24, 2026 04:52
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.

1 participant