Talk:HOL theorem prover
From Wikipedia, the free encyclopedia
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.
interaction
- This page was last modified 17:56, 2 August 2005 by Wikipedia user Cyc.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a US-registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers