A simple formalization and proof for the mutilated chess board

DOI10.1093/JIGPAL/9.3.475zbMath0989.68131OpenAlexW2084253396MaRDI QIDQ2720299

Lawrence Charles Paulson

Publication date: 26 June 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/9.3.475

zbMATH Keywords

Isabelle

Mathematics Subject Classification ID

Uses Software

• Unnamed Item

This page was built for publication: A simple formalization and proof for the mutilated chess board