The lift equation
NASA's standard form is L = 0.5 x rho x V squared x S x CL. Rho is air density, V is airspeed, S is wing area and CL is the lift coefficient. This model uses a 16 square meter wing, about the size of a small four seat airplane.
For CL it uses thin airfoil theory: CL = 2 x pi x angle of attack in radians, for a symmetric section. It is a good teaching approximation for small angles but ignores camber, wingtip losses and stall, so it overestimates lift at the top of the range.
Why both explanations are right
You may hear that lift comes from air pressure, or from the wing throwing air down. Both describe the same flow: the pressure difference on the wing and the downward momentum given to the air are two sides of one force. The animation shows faster flow above and slower flow below.