Description
Higher-order logic theory packages can be processed with a dedicated command-line tool. This helps formal-methods users manage theory artifacts.
Formal theory tools depend on precise package formats and assumptions. Validate imported theories before using them in proofs or verification workflows.