Cubes icon indicating copy to clipboard operation
Cubes copied to clipboard

verified publisher icon effectfully
→

Metadata

A dependently typed type checker for a TT with intervals

Results 0 Cubes issues
Sort by recently updated
recently updated
newest added

← Metadata

22
Stars
1
Forks
Watchers

Owner

verified publisher icon effectfully

Metadata

A dependently typed type checker for a TT with intervals

Back