bn:00857513n
Noun Concept
PT
No term available
EN
HOL denotes a family of interactive theorem proving systems using similar logics and implementation strategies. Wikipedia
English:
proof assistant
Relations
Sources