log

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