Isabelle and its use at X-Logic.org
Overview
Isabelle and its logics
Theory of Knowledge in Isabelle