menkar icon indicating copy to clipboard operation
menkar copied to clipboard

verified publisher icon anuyts
→

Metadata

The multimode presheaf proof-assistant

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

← Metadata

33
Stars
0
Forks
Watchers

Owner

verified publisher icon anuyts

Metadata

The multimode presheaf proof-assistant

Back