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.

100% complete
1 follower 2888 views
About Log (0) Discussion (0)
This project has no log entries yet.