By Tim Smith
A proof of God by Leibniz, formalized in the Oak proof checker.
A proof checker focused on simplicity, readability, and ease of use.