Redirecting from
/2011/10/24/theorem-proving-in-mathematics/
to
https://radek.io/posts/theorem-proving-in-mathematics/