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: https://twitter.com/LawrPaulson/status/1578044401502375936

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

- Lawrence Paulson (@LawrPaulson)

Last updated: Jan 29 2023 at 15:02 UTC