  In this survey we present some recent results concerning computer-assisted
proofs in partial differential equations, focusing in those coming from
problems in incompressible fluids. Particular emphasis is put on the
techniques, as opposed to the results themselves.
