https://github.com/FormalTheology/GoedelGod
History
Tip revision: bf3263557e8def5a7e634a17fef626f92df2f3e0 authored by Bruno Woltzenlogel Paleo on 13 January 2019, 08:29:11 UTC
Rename some files to fix an issue in Windows
Tip revision: bf32635
File Mode Size
Formalizations
GSoC
Papers
Press
Talks
.gitignore -rw-r--r-- 328 bytes
README.md -rw-r--r-- 3.5 KB

README.md

back to top