lr-agda icon indicating copy to clipboard operation
lr-agda copied to clipboard

verified publisher icon ezyang
→

Metadata

Logical relations proof in Agda

Results 0 lr-agda issues
Sort by recently updated
recently updated
newest added

← Metadata

23
Stars
3
Forks
Watchers

Owner

verified publisher icon ezyang

Metadata

Logical relations proof in Agda

Back