Skip to content

close sorries in NNSeq #5

Closed
Closed
close sorries in NNSeq#5
@or4nge19

Description

@or4nge19
or4nge19
opened on Mar 19, 2026

fill sorries in

HopfieldNet2/HopfieldNet/NNseq.lean

Line 109 in 2be5b57

sorry

@ax-prover

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions