Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Update to v1.1: | Ian Jauslin | 19 months | |
Tag | Download | Author | Age | |
v1.1 | commit 8d1562d39c... | Ian Jauslin | 19 months | |
v1.0.1 | commit fddcf91b6a... | Ian Jauslin | 2 years | |
v1.0 | commit d254a3e3f4... | Ian Jauslin | 2 years | |
Age | Commit message | Author | ||
2022-06-15 | Fix notations and typos, and shorten proof of lemma A1.1v1.0.1 | Ian Jauslin | ||
2022-06-14 | Initial commitv1.0 | Ian Jauslin | ||
Clone | ||||
git://ian.jauslin.org/git/articles/22jb.git |