Jun 03 Playing with Isar Handwritten versions: Pg. 1, Pg. 2, Pg. 3. Lately I have been playing with the Isabelle proof assistant, and I Jun 3, 2012 2 min read