goedelgod-20200707


  • This repository contains computer-assisted formalizations of ontological proofs.