In the past, if you wanted to add the PayPal Pro payment gateway to your WooCommerce install, you needed to buy an extension. There is now a free extension that you can use to add credit card checkout via WooCommerce.
I used this extension and found that it is surprisingly easy to configure and use. It is a very lightweight solution to add PayPal Pro checkout capability to WooCommerce.
The settings interface is clean and tidy. The checkout option flows very nicely too.
The developer has done a good job so I highly recommend this extension plugin if you want to use PayPal Pro with WooCommerce.