Skip to content

Update README - #294

Open
rcosta358 wants to merge 1 commit into
mainfrom
update-readme
Open

rcosta358 wants to merge 1 commit into
mainfrom
update-readme

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

This PR updates the README:

  • Examples with basic refinements, state refinements, and ghost variables
  • Updated project structure
  • Updated references

@rcosta358 rcosta358 self-assigned this Sep 20, 2026
@rcosta358 rcosta358 added the documentation Improvements or additions to documentation label Sep 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant