/stack

Stack data-structure of integers implemented in Dafny

No issues in this repository yet.