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

verified publisher icon gallais
→

Metadata

Formalizing nbe in agda

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

← Metadata

25
Stars
1
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

Formalizing nbe in agda

Back