Ian Jauslin
summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterUpdate to v1.1:Ian Jauslin19 months
 
TagDownloadAuthorAge
v1.1commit 8d1562d39c...Ian Jauslin19 months
v1.0.1commit fddcf91b6a...Ian Jauslin2 years
v1.0commit d254a3e3f4...Ian Jauslin2 years
 
AgeCommit messageAuthor
2022-06-15Fix notations and typos, and shorten proof of lemma A1.1v1.0.1Ian Jauslin
2022-06-14Initial commitv1.0Ian Jauslin
 
Clone
git://ian.jauslin.org/git/articles/22jb.git