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 3132 views
About Log (0) Discussion (0)
This project has no log entries yet.