2DTypes icon indicating copy to clipboard operation
2DTypes copied to clipboard

verified publisher icon vikraman
→

Metadata

Collaborative work on reversible computing

2DTypes

Build Status

Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.

← Metadata

16
Stars
1
Forks
Watchers

Owner

verified publisher icon vikraman

Metadata

Collaborative work on reversible computing

Back