https://github.com/FormalTheology/GoedelGod
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
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 |