Automation of Boolos' Curious Inference in Isabelle/HOL (Q7361517)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Boolos_Curious_Inference_Automated
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automation of Boolos' Curious Inference in Isabelle/HOL |
AFP entry Boolos_Curious_Inference_Automated |
Statements
5 December 2022
0 references
Christoph Benzmüller
0 references
David Fuenmayor
0 references
Alexander Steen
0 references
Geoff Sutcliffe
0 references
Automation of Boolos' Curious Inference in Isabelle/HOL (English)
0 references
Boolos’ Curious Inference is automated in Isabelle/HOL after interactive speculation of a suitable shorthand notation (one or two definitions).
0 references
