log

age author description
Tue, 13 Dec 2016 02:12:49 +0000 atton Prove equivalence n-push/n-pop to empty stack