issues
search
vikraman
/
2DTypes
Collaborative work on reversible computing
17
stars
1
forks
source link
Prove the equivalence of UFin loops and Aut (Fin n)
#65
Closed
vikraman
closed
3 years ago
vikraman
commented
3 years ago
Fixes #59
Fixes #59