Este documento descreve a implementação de uma pilha com alocação dinâmica de memória em C, incluindo suas operações básicas como inicialização, verificação se está vazia, empilhamento e desempilhamento. É definida uma estrutura Nodo para armazenar cada elemento da pilha e apontadores, e uma estrutura Pilha para armazenar o topo. As pré e pós-condições de cada operação também são especificadas.