Dev
Logs.Fun
Menu
Browse projects
Sign up
Log in
Showing projects tagged with 'leibniz'.
Hide projects with no log posts
proof
logic
leibniz
god
Formalizing Leibniz
By
Tim Smith
A proof of God by Leibniz, formalized in the Oak proof checker.
0
0
1 follower
«
1
»