Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] paper about overloaded defs

view this post on Zulip Email Gateway (Aug 17 2022 at 13:46):

From: Steven Obua <obua@in.tum.de>
I take this opportunity to advertise my work on overloading in
higher-order logic: http://www4.in.tum.de/~obua/checkdefs.

Steven

Last updated: Feb 15 2026 at 05:19 UTC