J
effrey
K
etland
E-Mails 📧
moc
.
liamg
@
dnaltekyerffej
Entries
2022
Boolos's Curious Inference in Isabelle/HOL
by
Jeffrey Ketland
📧
Jun 20