joaoraf/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
simple scala command line options parsing
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Formalizations of Gödel's Ontological Proof of God's Existence
Source code of an introductory presentation about the Scala programming language. Mostly in portuguese.
Framework for enriching EMF models and general model manipulation with modern programming languages like Scala.
Public repository.