B
runo
W
oltzenlogel
P
aleo
Homepages 🌐
http://www.logic.at/staff/bruno/
Entries
2013
Gödel's God in Isabelle/HOL
by
Christoph Benzmüller
🌐
and
Bruno Woltzenlogel Paleo
🌐
Nov 12