Ian Jauslin
summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterUpdate to v1.1:Ian Jauslin12 months
 
TagDownloadAuthorAge
v1.1commit 8d1562d39c...Ian Jauslin12 months
v1.0.1commit fddcf91b6a...Ian Jauslin21 months
v1.0commit d254a3e3f4...Ian Jauslin21 months
 
AgeCommit messageAuthor
2023-03-21Update to v1.1:HEADv1.1masterIan Jauslin
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