Commit d08a847c authored by Simão Melo de Sousa's avatar Simão Melo de Sousa

squelette de la doc de digitsuming

parent 872879a7
\title{An exercise on proving programs with Why}
\author{Jean-Christophe Filliatre and Simao Melo de Sousa}
\date{November 2010}
%%% Local Variables:
%%% mode: latex
%%% ispell-local-dictionary: "portugues"
%%% End:
% LocalWords: BNF q Orl\'{e}ans
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment