/stack

Stack data-structure of integers implemented in Dafny

Stargazers