Skip to content

Coq/hydra-battles #6

Open
Open
Coq/hydra-battles#6
@iehality

Description

@iehality
iehality
opened on Mar 12, 2026

https://github.com/rocq-community/hydra-battles formalizes Gödel-Rosser 1st incompleteness theorem and some combinatorial results related to metamathematics.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions