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