HOL (proof assistant): page information

Metadata and maintenance details for this article.

Page ID161888

Revisions0

Words590

OriginImported

CreatedJun 17, 2026, 6:05 AM

UpdatedJun 18, 2026, 7:07 AM