Skip to content

Add heuristics for Coq and Verilog #411

New issue
New issue
Open
Open
Add heuristics for Coq and Verilog#411
Labels
good first issueGood for newcomershelp wantedExtra attention is needed
Milestone
v1
@spenserblack

Description

@spenserblack
spenserblack
opened on Jul 11, 2024

Both of these languages use the .v extension

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueGood for newcomershelp wantedExtra attention is needed

    Projects

    Gengo

    Status

    Todo

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions