Skip to content

Comments

feat: some writing about tactic support and real numbers#533

Draft
grunweg wants to merge 1 commit intomasterfrom
tactics
Draft

feat: some writing about tactic support and real numbers#533
grunweg wants to merge 1 commit intomasterfrom
tactics

Conversation

@grunweg
Copy link
Collaborator

@grunweg grunweg commented Jan 27, 2026

Not meant to be merged, but for reference for whoever is interested.

@grunweg grunweg marked this pull request as draft January 27, 2026 16:47
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