Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
height of right is larger
if height of tree
left
<
height of tree
right
, then height of tree (node (
v
,
left
,
right
))
=
(height of tree
right
) +
1
Comments
Please
log in
to add comments