search

treeowl / compact-sequences

Stacks and queues with compact representations
BSD 3-Clause "New" or "Revised" License
16 stars 4 forks source link

Thoroughly document amortization arguments #6

Open treeowl opened 4 years ago

treeowl commented 4 years ago

@Lysxia, do you think you could submit a PR to add your Coq proof for the stacks to this repository?