issues
search
vikraman
/
2DTypes
Collaborative work on reversible computing
17
stars
1
forks
source link
Pi+ finish coxter proof
#33
Closed
inexxt
closed
3 years ago
inexxt
commented
3 years ago
TODO:
[x] Finish Lehmer proof
[x] Finish CanonicalForm proof
[x] Finish Arithmetic
until no holes or postulates remain.
Fixes #12
TODO:
until no holes or postulates remain.
Fixes #12