Skip to content

C02_Basics: solutions: streamlined example#403

Open
fg-cfh wants to merge 1 commit into
avigad:masterfrom
fg-cfh:co2_basics_solutions_update
Open

C02_Basics: solutions: streamlined example#403
fg-cfh wants to merge 1 commit into
avigad:masterfrom
fg-cfh:co2_basics_solutions_update

Conversation

@fg-cfh

@fg-cfh fg-cfh commented Jun 7, 2026

Copy link
Copy Markdown

Streamlines and simplifies the solution to one of the examples.

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