Hello. I recall having read that the HOL4 logo (as found in TUTORIAL, MANUAL, DESCRIPTION, LOGIC) is based on a photo of a lamp found in Canada. Despite searching my browser history and using a search engine I failed to find the message again.
To somebody who knows what photo I am referring to or otherwise knows the origin of the HOL4 logo, could you please link me to further information about the origin of the logo, including the photo that it is based from? This is just for curiosity. Thanks. -- Do not eat animals; respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan ------------------------------------------------------------------------------ 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
