orchard icon indicating copy to clipboard operation
orchard copied to clipboard

Published 20 hours ago • verified publisher icon ericfinster
→

Metadata

Orchard Opetopic Proof Assistant

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

← Metadata

27
Stars
1
Forks
Watchers

Owner

verified publisher icon ericfinster

Metadata

Orchard Opetopic Proof Assistant

Back