Stream: Hierarchy Builder devs & users

Topic: Isabelle locales vs. Hierarchy Builder

view this post on Zulip Karl Palmskog (Oct 15 2022 at 12:58):

Would be interesting to see a comparison of Isabelle locales and HB, from someone who knows Isabelle well, seems like nobody on Twitter accepted that challenge:

Is anybody able to comment on the connections between Coq’s Hierarchy-builder and Isabelle's locales?

- Lawrence Paulson (@LawrPaulson)

Last updated: Apr 21 2024 at 01:02 UTC