Skip to content

Binder_inductive sometimes fails to prove nominal set axioms #120

Open
Open
Binder_inductive sometimes fails to prove nominal set axioms#120
Labels
area: binder_inductivebugSomething isn't working
@jvanbruegge

Description

@jvanbruegge
jvanbruegge
opened on Nov 19, 2025
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: binder_inductivebugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions