Talk:HOL (proof assistant)

Untitled
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.