This is the
talk page for discussing improvements to the
HOL (proof assistant) article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
This article has not yet been rated on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||
|
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.
This is the
talk page for discussing improvements to the
HOL (proof assistant) article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
This article has not yet been rated on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||
|
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.