Jump to content

Talk:HOL (proof assistant)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

What does BLAST have to do with HOLs? I only know BLAST from bioinformatics and that's where the link points to. IMHO there is no conjecture between HOL and Blast.