twelf/examples/prop-calc
