Karl Palmskog (Oct 15 2022 at 12:58): 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