The Muddy children puzzle formalization in Isabelle 2017

This repository contains the muddy children puzzle formalised in Isabelle 2017.

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
LaTeX		LaTeX
calculus		calculus
docs		docs
.gitignore		.gitignore
DEAKDerivedRules.thy		DEAKDerivedRules.thy
LICENSE		LICENSE
MuddyChildren.thy		MuddyChildren.thy
NatToString.thy		NatToString.thy
README.md		README.md
ROOT		ROOT

Provide feedback