Skip to content

Model coherence in formality #103

New issue
New issue
Open
Open
Model coherence in formality#103
Assignees
nikomatsakis
Labels
roadmap-tracking-issueTracks an item on our types team roadmap.
Milestone
 
Early 2024
@nikomatsakis

Description

@nikomatsakis
nikomatsakis
opened on Oct 11, 2023
No description provided.

Metadata

Metadata

Assignees

Labels

roadmap-tracking-issueTracks an item on our types team roadmap.

Type

No type

Projects

types team roadmap

Status

No status

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions