Skip to content

Demo/proof extraction#133

Open
AdrienTaylor wants to merge 21 commits intomasterfrom
demo/proof_extraction
Open

Demo/proof extraction#133
AdrienTaylor wants to merge 21 commits intomasterfrom
demo/proof_extraction

Conversation

@AdrienTaylor
Copy link
Collaborator

To be merged after #131 #132

To be cleaned first. Please do a pass in the notebook. The PySR part should probably be added by @DanielBergThomsen.

@AdrienTaylor AdrienTaylor requested a review from bgoujaud March 6, 2026 12:32
@AdrienTaylor
Copy link
Collaborator Author

The notebook should be good to go. @bgoujaud can you do a last round of checks?

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.

3 participants