patrickdugan/OntologicalProofs
Ontological Proofs of God in Lean
GitHub repository with 8 stars and 2 forks.
Language: Lean
24h trend summary
Trending score 0.08, freshness score 0.62, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 8 stars and 2 forks.