ONTOLOGY

Show HN: Gitseq: A Repo Becomes a Workroom
1 points | 0 comments

Automating Godel's Ontological Proof of God's Existence [pdf]
3 points | 0 comments