Log in to follow projects

Following a project allows you to receive updates via email. It also lets the owner know that you like them.

×

Formalizing Leibniz

By Tim Smith

A proof of God by Leibniz, formalized in the Oak proof checker.

proof logic leibniz god
100% complete
1 follower 3128 views
About Log (0) Discussion (0)

Log in to add comments

Log in or create an account to contribute.

×
This project has no comments yet.
Write a new comment