GoedelGod


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