Skip to content

Conversation

@rzach
Copy link
Member

@rzach rzach commented Nov 10, 2025

Small typo fixed in proof of bounded recursion; to get a γ+ approximation, we add <γ, τ(g)>

Small typo fixed in proof of bounded recursion; to get a γ+ approximation, we add <γ, τ(g)>
@rzach rzach merged commit 923e359 into OpenLogicProject:master Nov 12, 2025
1 check passed
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.

2 participants