Mercurial > hg > Members > Moririn
diff doc/ChangeLog.txt @ 181:78b28c8ffff2
Prove equivalence n-push/n-pop to empty stack
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:12:49 +0000 |
parents | 907c69e21e56 |
children |
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:12:49 +0000 |
parents | 907c69e21e56 |
children |