An inductive and polymorphic definition of binary trees :
Tree(T) ::= empty | tree ( left : Tree(T), val : T, right : Tree(T) )
No proof obligation, hence no proof file.
Binary Trees, .tuf file at archive root.
Log in to post a comment.
Binary Trees, .tuf file at archive root.