Skip to content

Blueprint update - #14

Merged
RemyDegenne merged 2 commits into
mainfrom
blueprint
Sep 2, 2025
Merged

RemyDegenne merged 2 commits into
mainfrom
blueprint

Conversation

@RemyDegenne

Copy link
Copy Markdown
Collaborator

Add several \leanok and add docstrings to definitions in the code.

@RemyDegenne
RemyDegenne merged commit dee19a3 into main Sep 2, 2025
1 check passed
@RemyDegenne
RemyDegenne deleted the blueprint branch September 2, 2025 12:32
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