Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Browser-based automated proof search for Isa...

Email Gateway (Aug 22 2026 at 11:02):

From: Lawrence Paulson <lp15@cam.ac.uk>
Subject: [isabelle] Browser-based automated proof search for Isabelle/HOL

This definitely looks cool! Many thanks!

Larry
On 16 Aug 2026 at 16:35 +0100, Yutaka Nagashima <united.reasoning@gmail.com>, wrote:
I have finally launched Heinzelmen, a browser-based automated theorem-proving service for Isabelle/HOL.

Last updated: Sep 02 2026 at 16:10 UTC