Skip to content

chore: bump nanoda ref#37

Merged
nomeata merged 1 commit into
leanprover:masterfrom
ammkrn:bump_nanoda_8d68
Apr 25, 2026
Merged

chore: bump nanoda ref#37
nomeata merged 1 commit into
leanprover:masterfrom
ammkrn:bump_nanoda_8d68

Conversation

@ammkrn
Copy link
Copy Markdown
Contributor

@ammkrn ammkrn commented Apr 25, 2026

Fix proj-of-prop test case.

@nomeata nomeata merged commit 6a8450e into leanprover:master Apr 25, 2026
3 checks passed
nomeata added a commit that referenced this pull request Apr 26, 2026
Picks up nomeata/nanobruijn 8fad812, which ports the upstream
ammkrn/nanoda_lib PR #19 fix (forward `flag` parameter in infer_proj).
This is the same fix that landed in nanoda via PR #37.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
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