summaryrefslogtreecommitdiffstats
path: root/images/sean-connery-in-zardoz.jpg
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2024-01-05 15:56:12 +0100
committerDavid A. Madore <david+git@madore.org>2024-01-05 15:56:12 +0100
commitdc009b91f5198125c597202349199ec5d69ccac1 (patch)
treed560bc40f4b8810cbb57b9782b8ce7744a07d68d /images/sean-connery-in-zardoz.jpg
parent24b6038dc6a127ace16f15537a944a4b7a384cec (diff)
downloadinf110-lfi-dc009b91f5198125c597202349199ec5d69ccac1.tar.gz
inf110-lfi-dc009b91f5198125c597202349199ec5d69ccac1.tar.bz2
inf110-lfi-dc009b91f5198125c597202349199ec5d69ccac1.zip
An exercise about proving the Medvedev-validity of the Kreisel-Putnam formula.
Diffstat (limited to 'images/sean-connery-in-zardoz.jpg')
0 files changed, 0 insertions, 0 deletions