proof-search-monad icon indicating copy to clipboard operation
proof-search-monad copied to clipboard

verified publisher icon msprotz
→

Metadata

Tentative write-up of a neat trick used in the Mezzo type-checker

Results 0 proof-search-monad issues
Sort by recently updated
recently updated
newest added

← Metadata

15
Stars
1
Forks
Watchers

Owner

verified publisher icon msprotz

Metadata

Tentative write-up of a neat trick used in the Mezzo type-checker

Back