concert
发表于 2025-4-1 05:31:32
http://reply.papertrans.cn/83/8234/823392/823392_61.png
TEN
发表于 2025-4-1 09:52:30
Towards Logical Frameworks in the Heterogeneous Tool Set Hetsploying the Curry-Howard isomorphism: propositions are represented as types, and proofs as terms..Hets is an integration tool for logics, logic translations and provers, with a model theoretic focus, based on the meta-framework of institutions, a formalisation of the notion of logical system..In thi