Hello. How should one proceed when one wants to know whether a theory has been already formalized in HOL4 and in that case, find the existing formalization?
The generic web search engines I tried (DuckDuckGo and StartPage) return mostly noise. For example, doing a search in the aforesaid search engines for “formalization prime numbers "HOL4"” does not even return the example formalization that is part of the tutorial in the first 10 results. Most results are about formalization of mathematics, but not about the topic that I am requesting in the search string. Is there a better way to find existing formalizations? -- Do not eat animals; respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
